Ludovic Langevine SICS Joint work with Mireille Ducassé (IRISA) and Pierre Deransart (INRIA) SweConsNet Workshop March 7, 2005, Lund Trace-Based Debugging in Constraint…