8 Reified Constraints

In this section we will see a new class of constraints called reified constraints. Reified constraints make it possible to express constraints involving logical connectives such as disjunction, implication, and negation. Reified constraints also make it possible to solve overconstrained problems, for which only some of the stated constraints can be satisfied.

• 8.1 Getting Started
  • Exercises

• 8.2 Example: Aligning for a Photo
  • Problem Specification
  • Model
  • Distribution Strategy.
  • Script.
  • Exercises

• 8.3 Example: Self-referential Aptitude Test
  • Problem Specification
  • Model
  • Distribution Strategy
  • Script
  • Exercises

• 8.4 Example: Bin Packing
  • Problem Specification
  • Model
  • Distribution Strategy
  • Script
  • Exercises