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 variables so that all constraiNTs are true. Usenet newsgroup: news:comp.constraiNTs. {FAQ (http://www.cs.unh.edu/ccc/archive/)}. (2002-06-08)