Thanks, Mikael, that advice is exactly what I needed (and thanks
Christian for adding it to MPG).

_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to