2.1 What is a CSP?

A CSP is specified by a finite number of variables and a finite number of constraints on these variables:

CSP == Variables + Constraints

A solution to a CSP is an assignment of values to the variables such that the constraints are satisfied.

The constraint programming approach to solving a CSP rests of the following ideas:

Denys Duchier
Version 1.2.0 (20010221)