Varieties of constraints
	n Unary constraints involve a single variable, n e.g., SA ≠ green n Binary constraints involve pairs of variables, n e.g., SA ≠ WA n Higher-order constraints involve 3 or more variables, n e.g., cryptarithmetic column constraints