Analysis and Visualization Tools for Constraint Programming | lit.salon