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 <<a k such that all the differences a i -a j (i>j) are distinct.