[gecode-users] Gecode 3.0.1 and Gecode/FlatZinc 1.5 released

[Guido Tack]

Dear all,

we are releasing bugfix versions:

                  Gecode 3.0.1
           http://www.gecode.org

This is a bug fix release fixing an embarassing bug in reified Boolean  
linear constraints (plus other minor fixes).
The complete changelog is available at
	http://www.gecode.org/changes.html

                  Gecode/FlatZInc 1.5
           http://www.gecode.org/flatzinc.html

which now works with Gist.

On our web site, you find source packages, as well as binary packages
for Windows and Mac OS.

Cheers,
	Guido