Dear all, here's a bugfix release (again):
Gecode 3.0.2 http://www.gecode.org This is a bug fix release fixing two more embarrassing bugs. However, this time we redesigned our tests carefully such that they cover all changes and optimizations done for the transition from 2.2.0 to 3.0.*. Please update asap. The complete changelog is available at http://www.gecode.org/changes.html 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