[gecode-users] Gecode 3.7.3 released

[Guido Tack]

Dear all,

we are releasing a new version of Gecode:

      Gecode 3.7.3
http://www.gecode.org

This release fixes some small bugs in the FlatZinc interpreter and library, and adds scripts for conveniently invoking the MiniZinc-to-FlatZinc translator and the Gecode FlatZinc interpreter together.

On our web site, you find source packages, binary packages for Windows and Mac OS, and the full documentation.

Cheers,
	Guido