OADymPPaC
Tools for Dynamic Analysis and Debugging of Constraint Programs
International network
The network has been moved as a Sourceforge project
Tra4CP
Trace Format for Finite Domain Solvers Project