Sorry for the copy/paste bug in the previous email subject, of course we're releasing 3.7.2: 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