Golomb Ruler

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.