[gecode-users] Gecode 3.1.0 and Gecode/FlatZinc 1.6 released

[Guido Tack]

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