3.7.121. 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).