ECL$^i$PS$^e$ Constraint Library Manual Release 7.1

# ECLiPSe Constraint Library Manual Release 7.1 ### 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

© 1990 – 2006 Cisco Systems, Inc.

- Contents
- Introduction
- Common Solver Interface
- IC: A Hybrid Finite Domain / Real Number Interval Constraint Solver
- Global Finite Domain Constraints
- The Integer Sets Library
- The Symbolic Domain Library
- GFD: Interface to Gecode Finite Domain Solver
- Propia - A Library Supporting Generalised Propagation
- The Constraint Handling Rules Library
- EPLEX: The ECLiPSe/LP/MIP Interface
- REPAIR: Constraint-Based Repair
- Index
- References

> This document was translated from LATEX by HEVEA.