3.7.127. Indistinguishable values

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