Tools for Dynamic Analysis and Debugging of Constraint Programs
Outils pour l'Analyse Dynamique et la mise au Point
de
Programmes avec Contraintes
Illustrative example: Sendmore 
Problem Description :
Solve the operation
S E N D
+ M O R E
-----------
= M O N E Y
(resolution by line)
Solution:
[S,E,N,D,M,O,R,Y]
[9,5,6,7,1,0,8,2]
Interest : pedagogical
Sources :
Traces :