Report for TP4 of constraint programming.