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.
MCCS: a multi criteria upgradeability optimization solver
The MCCS (Multi Criteria CUDF Solver) solver, which was developed during the MANCOOSI project, solves multi criteria upgradeability problems described using the CUDF description language.