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.

The knapsack problem

A model for the knapsack problem.

Last modified 24.08.2022: Add Connector problem (7f7d5ac)