6 Constraint Programming Bestiary

This chapter is intended to serve as a very short reference to the concepts of constraint programming in general and the programmatic idioms of Oz in particular. Readers are encouraged to consult the Mozart documentation for further reading material and tutorial about the Oz language and the Mozart system.

• 6.1 Constraint Store

• 6.2 Constraint Variables
  • 6.2.1 FD Variables
  • 6.2.2 FS variables

• 6.3 Constraints And Propagators

• 6.4 Encapsulation And Computation Spaces

• 6.5 Search

• 6.6 Search Predicates

• 6.7 Disjunctive Propagator

• 6.8 Reified Constraints

• 6.9 Selection Constraints
  • 6.9.1 Select Package
  • 6.9.2 FD Selection Constraint
  • 6.9.3 FS Selection Constraint
  • 6.9.4 FS Selection Union Constraint