programming, mathematics A Boolean relation, often an

equality or ineqality relation, between the values of one or

more mathematical variables (often two). E.g. x@#3 is a

constraint on x. constraint satisfaction attempts to assign

values to variables so that all constraints are true.