The connector problem
An example of the use of graph variables.
Other examples
This section lists various problems modeled with Choco-solver. The step-by-step principle used in the previous tutorials can be reduced here.
The keysort example
An example of the use of the keysort constraint.
The knapsack problem
A model for the knapsack problem.
Project Euler, Problem 103
Project Euler, Problem 103
Last modified August 24, 2022: Add Connector problem (7f7d5ac)