First Example
A first model step by step.
Tutorials
This section is where the tutorials for Choco-solver lives - all the information you need to take charge of the library.
Note that it is assumed that the reader is already familiar with the theoretical concepts of constraint-programming. The current material is meant to help the reader to learn the basics of Choco-solver 4.10.14, not constraint-programming itself.
General documentation on constraint-programming may be found at:
In case the reader is completely new to the domain of constraint-programming, it is highly recommended to attend training courses.
Verbal Arithmetic
A mathematical game.
Warehouse Location Problem
Where to build warehouses and which warehouse supplies which customer.
Airplane Landing Problem
Become an air traffic controller.
Nonogram
A picture logic puzzle.
Golomb Ruler
An imaginary ruler.
Traveling Salesman Problem
What is the shortest possible route that visits each city.
Designing a constraint
Steps to follow to create your own constraint.
A CD-CL overview
a quick look a the Conflict-Driven Clause learning (CDCL) framework.
Last modified January 31, 2020: Mise à jour du site (71a7ad3)