2.4 The Solvers
This is the simplest possible 'solver'. Its behaviour is to wait until
all variables in a constraint have been instantiated to numbers.
Then it performs a test to check whether the constraint is satisfied,
and fails if this is not the case.
A new hybrid solver, combining integer and real interval constraint
solving. This solver is intended to replace the FD (and the already
discontinued RIA) solver.
For more information, please see chapter 3.
An interface to an LP or MIP solver, i.e. it implements linear
constraints over reals or integers.
This is not really a solver, but just the implementation of simple
arithmetic tests in module eclipse_language. These require
that all variables are instantiated when the test is invoked.
The reason to list it here is that the proper solvers use the
same syntax and can be considered generalisations of the