AThemATics> A BooleanrelATion, 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 sATisfactionATtempts to assign values to variables so thAT all constraints are true. Usenet newsgroup: news:comp.constraints. {FAQ (http://www.cs.unh.edu/ccc/archive/)}. (2002-06-08)