EPLEX: The ECLiPSe/LP/MIP Interface

# Chapter 9 EPLEX: The ECLiPSe/LP/MIP Interface

- Usage
- Eplex Instances
  - Linear Constraints
  - Linear Expressions
  - Bounds
  - Integrality
  - Solving Simple Eplex Problems
  - Examples
- Advanced Use of Eplex Instances
  - Obtaining Solver State Information
  - Creating Eplex Instances Dynamically
  - Interface for CLP-Integration: Solver Demons
  - Encapsulated Modification of the Problem: Probing
  - Destroying the Solver State
  - Eplex Instance Interface Example: definition of optimize/2:
- Low-Level Solver Interface
  - Setting Up a Solver State
  - Adding Constraints to a Solver State
  - Running a Solver State Explicitly
  - Accessing the Solver State
  - Expandable Problem and Constraints
  - Changing Solver State Settings
  - Destroying a Solver State
  - Miscellaneous Predicates
- Cutpool Constraints
  - Solving a Problem with Cutpool Constraints
  - Predicate-specific Support
- Multiple Solver States
- External Solver Output and Log
- Dealing with Large and Other Non-standard Numbers
- Error Handling
- Solver Behaviour Differences
- Solver Specific Information
  - Versions and Licences
  - Solver Differences
  - Access to External Solver's Control Parameters

1
  However, some monotonic changes are allowed in the low-level interface, for implementing column generation, see section 9.4.5.
2
  Note that it is not sufficient that you have a valid license and solver libraries for a particular version of the solver. That solver version must also be supported by the release of ECLiPSe you are using.