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
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
