Chapter 7 An Overview of the Constraint Libraries
Introduction
Implementations of Domains and Constraints
Suspended Goals:
suspend
Interval Solver:
ic
Global Constraints:
ic_global
Scheduling Constraints:
ic_cumulative, ic_edge_finder
Finite Integer Sets:
ic_sets
Linear Constraints:
eplex
Constraints over symbols:
ic_symbolic
User-Defined Constraints
Generalised Propagation:
propia
Constraint Handling Rules:
ech
Search and Optimisation Support
Tree Search Methods:
ic_search
Optimisation:
branch_and_bound
Hybridisation Support
Repair and Local Search:
repair
Hybrid:
ic_probing_for_scheduling
Other Libraries