ECL
i
PS
e
Constraint Library Manual
Release 7.2
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 ECL
i
PS
e
/LP/MIP Interface
REPAIR: Constraint-Based Repair
Index
References
This document was translated from L
A
T
E
X by
H
E
V
E
A
.