This module provides a constraint system over real numbers with a set of basic and non-basic propagators. Integration of both, finite domain and real interval modules is also provided.

This module provides an interface to a linear programming solver called LP_SOLVE. To combine linear programming with propagation based solvers have shown to improve search (click here for details).