Analysis and Visualization Tools for Constraint Programming