< 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.
Usenet newsgroup: news:comp.constraints . FAQ .
(2002-06-08)