Usage

## 9.1 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.
See section 9.11 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.11 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 requires a licence for the solver on your machine. For more details, see section 9.11. For open source solvers, the required solver library may be distributed with ECLiPSe if its licence allows this.