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