Dear all, we are releasing updates to Gecode and Gecode/FlatZinc.
Gecode 3.1.0 http://www.gecode.org This release introduces parallel search, features improved memory management (can double efficiency on MacOS X), and provides a reusable command line driver upon popular request. And, of course, some this and that. The complete changelog is available at http://www.gecode.org/changes.html Gecode/FlatZInc 1.6 http://www.gecode.org/flatzinc.html which has been adapted to work with the latest MiniZInc release (version 1.0). On our web site, you find source packages, as well as binary packages for Windows and Mac OS. Cheers, Guido _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users