Documentation about the common Constraint Satisfaction Problem.