Test some algorithms for Constraint Programming