Dear all, we are releasing the next version of Gecode:
Gecode 4.2.0 http://www.gecode.org This release adds no-goods from restarts, removes memory statistics (but Gecode can be configured for more accurate statistics), and fixes a number of bugs. On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation. Cheers, Guido _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users