Constraint Programming in OPL
Consistency in Networks of Relations