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.
Feedback
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.