Usage

This library allows the use of an external mathematical programming (LP, MIP or quadratic) solver from within ECLiPSe. It provides a largely solver-independent API to the programmer, so many programs will run with any supported external solver.

With the kind agreement of Dash Associates Ltd., the XPRESS-MP^9.1 solver is now included with the library, and is available for academic use under the ECLiPSe licence agreement.

See section 9.10 for more details on the supported solvers.

The most generic way to load the library is:

:- lib(eplex).

This will try to load an appropriate external solver available on the computer.

It is also possible to request a specific solver explicitly, see section 9.10 for details.

Note that the ECLiPSe library described here is just an interface to an external solver. In order to be able to use it, you need to have access to a solver supported by the library. For commercial solvers, this may require a licence for the solver on your machine. However, you do not need to obtain a separate licence for the included XPRESS-MP solver. This solver is licenced to IC-Parc for distribution with ECLiPSe, and it cannot be used independently of ECLiPSe.