Previous Up

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 traditional tests.

Previous Up