Next: Introduction
  Index
ECLiPSe Library Manual
Release 4.2
Pascal Brisset
- Hani El Sakkout
- Thom Frühwirth
- Carmen Gervet
- Micha Meier
- Stefano Novello
- Thierry Le Provost
- Joachim Schimpf
- Kish Shen
- Mark Wallace
© International Computers Limited and ECRC GmbH 1990-1995
© International Computers Limited and Imperial College London 1996-1999
- Introduction
- The Finite Domains Library
- Additional Finite Domain Constraints
- The Set Domain Library
- Propia - A Library Supporting Generalised Propagation
- The Constraint Handling Rules Library
- RANGE: A Basis For Numeric Solvers
- EPLEX: The ECLiPSe/CPLEX Interface
- Usage
- Versions and Licences
- Ranged and Typed Variables
- Black-Box Interface
- Interface for CLP-Integration
- Low-Level Solver Interface
- Setting up Solvers Manually
- lp_setup(+NormConstraints, +Objective, +ListOfOptions, -Handle)
- lp_set(+Handle, +What, +Value)
- lp_add(+Handle, +NewNormConstraints, +NewIntegers)
- lp_cleanup(+Handle)
- lp_read(+File, +Format, -Handle)
- lp_write(+Handle, +Format, +File)
- Running a Solver Explicitly
- Accessing Solutions and other Solver State
- Accessing Variable-Related Information
- Collecting Linear Constraints
- Low-Level Interface Examples
- Access to Global Solver Parameters
- External Solver Output and Log
- Error Handling
- FDPLEX: A Hybrid Finite Domain / Simplex Solver
- REPAIR: Constraint-Based Repair
- RIA: ECLiPSe Real Number Interval Arithmetic
- Index
- Bibliography
- About this document ...
1999-08-06