Dear all, we are releasing a new version of Gecode: Gecode 3.7.1 http://www.gecode.org This release fixes several bugs, upgrades to MiniZinc version 1.4, and features some minor improvements. On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation. Cheers, Guido