Gecode 6.4.0
Tracing constraint propagation