We would like to announce the release of Gecode 2.0.1 http://www.gecode.org
This is a bug-fix only release. Very unfortunately, we had to fix three serious bugs in search (LDS, Restart, and assignment branchings). We highly encourage you to switch to Gecode 2.0.1 as soon as possible. For the other changes, please see the changelog on our web pages. More binary packages, including Gecode/J 2.0.1, will follow shortly. Cheers, Guido _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users