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 _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users