FPCS:
a floating point constraint solver

FPCS (Floating point constraint solver) is a floating point constraint solver, i.e., a solver with the capability
to solve constraints extracted from a C program that does some computations over the floating point numbers.