golomb rulers (naive implementation of alldifferent)