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