Tra4CP
Trace Format for Finite Domain Solvers
Classical Problems
[
Graceful Graphs
]