Once you download the library, you will typically find two or three key files: SolenoidValve.LIB SolenoidValve.IDX (Optional) SolenoidValve.HEX (for advanced animated models)
Since this is not an official product, safety is a concern. Solenoid Valve Library For Proteus Download