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