Trace Format for Finite Domain Solvers

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: