Hi Christian,

It works now as expected, thanks for your help.

Cheers,
Philippe


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

Reply via email to