[gecode-users] Gecode 3.0.2 released

[Guido Tack]

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