The Constraint Programming Solver