Dear all,
we are releasing the next version of Gecode:
Gecode 4.2.1
http://www.gecode.org
This release fixes several major bugs and adds some minor improvements.
On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.
Cheers,
Guido