[gecode-users] Gecode 4.1.0 released

[Guido Tack]

Dear all,

we are releasing the next version of Gecode:

                          Gecode 4.1.0
                 http://www.gecode.org

This release adds a really useful feature and the required
infrastructure to Gist (it now can show information on the
alternatives in a search tree), has some new features, and fixes
quite a number of bugs (some of which are quite serious, in
particular for: LDSB, restart-based search, and FlatZinc).

On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.

Cheers,
Guido