Chapter 10  EPLEX: The ECLⁱPS^e/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