Tools for Dynamic Analysis and Debugging of Constraint Programs
Outils pour l'Analyse Dynamique et la mise au Point
de
Programmes avec Contraintes
Classical Problems
[Magic squares]
[n queens] 
[Bridge] 
[Social golfer]
[BIBD]
[Golomb]
[Graceful Graphs]
[Openshop]