Charger Water provides water treatment solutions to professionals in the Fort Worth, Texas area.

High Pressure Relief Valve for Butler Heat Exchanger for all model years.

Note that this proof must be compatible with the proof checking signature. The proof generator is responsible for producing a proof in the proper format that can be checked by the proof signature specified when running LFSC.

There are multiple types of backflow preventers. The three most common are the pressure vacuum breaker (PVB), the reduced pressure zone (RPZ), ...

3/4 in. Cast Copper Silicon Alloy FNPT Backflow Preventer. Quick View. Part #WLF009M3QTFSF. Item #9880565.

1900e Series ECM High-Efficiency Circulators, View, 00e VR Series ECM High-Efficiency Circulators, View, 00 Series 3-Speed Cartridge Circulators, View.

Apollo PEX 3/4 in. Bronze Double Union PEX-B Water Pressure Regulator with Gauge.

Backflow prevention refers to the control of potentially harmful contaminants entering into our drinking water supply from cross connections.

Sometime CMake may have a difficult time finding FLEX on your system. It can be helpful to set the CMAKE_INCLUDE_PATH path to the location of your flex installation.

For example, in the case of CLSAT in the QF_IDL logic, older proofs (proofs produced before Feb 2009) may be incompatible with the newest version of the resolution checking signature (sat.plf). The newest version of CLSAT -- which can be checked out from the Iowa repository with

An expansion tank is required on all closed loop heating boiler systems. As a boiler heats the system water, the water will expand in volume.

Finest Filters sell a range of standard reverse osmosis membranes, including 50gpd, 75gpd and 100gpd membranes. our membranes are a quality replacement, ...

Used to regulate the pressure of your drip irrigation. This pressure reducer is ideal for domestic and small commercial applications and, being made by ...

Recompile the code base for lfscc. This will produce a copy of the LFSC checker executable that is capable of calling side conditions directly as compiled C++ code.

Watts heat H2O hot water recirculation system provides hot water to a faucet or shower instantly, eliminating water waste caused by waiting for water to heat up. This pump offers quiet, maintenance-free operation and includes a programmable timer that can be set to activate the pump only when needed or set it to run 24-hours a day. The device uses the pump at the water heater and a patented under-sink sensor valve to create a pressure differential. The pressure differential allows the cold and cool water in the hot water supply line to bypass into the cold-water supply line at a low volume through the thermostatically controlled sensor valve, keeping the water in the hot water supply line at a no wait temperature throughout the home. Caution: This system is not designed for tankless water heaters.

LFSC may be used with side condition code compilation. This will take all side conditions ("program" constructs) in the user signature and produce equivalent C++ code in the output files scccode.h, scccode.cpp.