Ok for the next release.
There's any plan to implement that in the long run ???

Thanks.
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to