Dear all, we are releasing the next version of Gecode:
Gecode 4.3.2 http://www.gecode.org This release fixes a major bug in and adds extensive tests for the FlatZinc interpreter. If you are using Gecode with FlatZinc you should definitely upgrade! 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 users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users