TP6 of constraint programming: improved versions using search/6