[gecode-users] Gecode 2.0.1 released

[Guido Tack]

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