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: Sorted  flamme!

Problem Description :

To sort n variables on domain of size n, i.e. to find values of n variables on finite domain [1..n] such that the n variables are sorted in increasing order.

Interest :

Pédagogical. It illustrates the propagation: the number of propagation steps is i for the ith variable and posted inequality constraint.

Sources and Traces: