Tra4CP
Trace Format for Finite Domain Solvers
Illustrative Examples
[
All-different with 5 constraints
]
[
Sendmore
]
[
Sorted
]
