### 3.7.110. Golomb ruler

A constraint that allows for expressing the Golomb ruler problem. A Golomb ruler is a set of integers (marks) ${a}_{1}<\cdots <{a}_{k}$ such that all the differences ${a}_{i}-{a}_{j}$ $\left(i>j\right)$ are distinct.