Project Halo, Toward a Digital Aristotle
Tutorials on Constraint Programming
Propagation :
- A simple example with Crossword puzzle.
- Basic understanding of the propagation performed in a constraint solver through the kakuro puzzle. Insights about bound consistency and generalized arc consistency.
Global constraints in choco :
- The Cumulative global constraint