3.7.122. Indistinguishable values

A constraint that can be used for breaking symmetries of indistinguishable values. Indistinguishable values in a solution of a problem can be swapped to construct another solution of the same problem.