S> 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 SatiSfaction attemptS to aSSign valueS to variableSSo that all conStraintS are true. USenet newSgroup: newS:comp.conStraintS. {FAQ (http://www.cS.unh.edu/ccc/archive/)}. (2002-06-08)