Dear all,
we are releasing a new version of Gecode:
Gecode 3.7.2
http://www.gecode.org
This release fixes several small bugs.
On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.
Cheers,
Guido