3.7.80. Difference between pairs of variables

A constraint that allows expressing the fact that a set of pairs of variables are different. Two pairs of variables (X 1 ,Y 1 ) and (X 2 ,Y 2 ) are different if and only if X 1 X 2 or Y 1 Y 2 .