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 connector problem

An example of the use of graph variables.

The keysort example

An example of the use of the keysort constraint.

Last modified 24.08.2022: Add Connector problem (7f7d5ac)