Next: Introduction
Index
ECLiPSe Constraint Library Manual
Release 5.7
Pascal Brisset
- Hani El Sakkout
- Thom Frühwirth
- Carmen Gervet
- Warwick Harvey
- 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-2000
- Introduction
- Common Solver Interface
- IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver
- Additional Finite Domain Constraints
- The Integer Sets Library
- The Symbolic Domain Library
- Propia - A Library Supporting Generalised Propagation
- The Constraint Handling Rules Library
- EPLEX: The ECLiPSe/LP/MIP Interface
- Usage
- Eplex Instances
- Advanced Use of Eplex Instances
- Low-Level Solver Interface
- 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
- Access to External Solver's Control Parameters
- lp_get(+Handle, optimizer_param(+ParamName), -Value)
- EplexInstance:eplex_get(optimizer_param(+ParamName), -Value)
- lp_get(optimizer_param(+ParamName), -Value)
- lp_set(+Handle, optimizer_param(+ParamName), +Value)
- EplexInstance:eplex_set(optimizer_param(+ParamName), +Value)
- lp_set(optimizer_param(+ParamName), +Value)
- lp_get(optimizer, -Value)
and lp_get(optimizer_version, -Value)
- REPAIR: Constraint-Based Repair
- Index
- Bibliography
- About this document ...
Warwick Harvey
2004-08-07