An example of the use of graph variables.
This section lists various problems modeled with Choco-solver. The step-by-step principle used in the previous tutorials can be reduced here.
An example of the use of the keysort constraint.
A model for the knapsack problem.
Last modified 24.08.2022: Add Connector problem (7f7d5ac)