Download User guide An introduction to Constraint Programming