3.7.126. Incompatible pairs of values

A constraint that is related to the fact that some pairs of values are incompatible (i.e., the two values of each pair of values cannot simultaneously be part of a solution).