Verbal Arithmetic

A mathematical game.

You can consider this tutorial as a modeling exercise. To do so, just read the description and then compare your mathematical model with the one proposed. In the same way, you can start by coding your own model in Choco-solver before reading the proposed one.


A description of the problem to model and solve.

Mathematical model

A mathematical model of the problem.


A bunch of code.

Last modified 05.02.2020: Update tutorials (688181e)