[gecode-users] Gecode 4.2.0 released

[Guido Tack]

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