The Constraint Programming Solver (Experimental)