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
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
