Analysis and Visualization Tools For Constraint Programming by Pierre Deransart