Dear all,
we are releasing the next version of Gecode:
Gecode 4.3.3
http://www.gecode.org
This release adds support for LNS to FlatZinc, adds support for MiniZinc 2, fixes a number of bugs and adds some new constraints.
On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.
Cheers,
Guido