An Overview of the Constraint Libraries

# 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

1
  and the fd library which will not be addressed in this tutorial
2
  the other set solvers lib(conjunto) and lib(fd_sets) are similar but not addressed in this tutorial