<programming, mathematics>

A Boolean relation, often an equality or ineqality relation, between the values of one or more mathematical variables. E.g. x>3 is a constraint on x. The process of constraint satisfaction attempts to assign values to variables so that all constraints are true.

Usenet newsgroup: comp.constraints. FAQ.

Last updated: 2002-06-08

Nearby terms:

constant mappingconstraintconstraint functional programming

Try this search on Wikipedia, Wiktionary, Google, OneLook.