Analysis And Visualization Tools For Constraint Programming by Pierre Deransart & Manuuel Hermenegildo