From tack at gecode.org  Mon Oct 10 11:28:44 2011
From: tack at gecode.org (Guido Tack)
Date: Mon, 10 Oct 2011 11:28:44 +0200
Subject: [Gecode-announce] Gecode 3.7.1 released
Message-ID: <4CFB9D5B-4D52-4733-82B5-5D3BFA187165@gecode.org>

Dear all,

we are releasing a new version of Gecode:

       Gecode 3.7.1
http://www.gecode.org

This release fixes several bugs, upgrades to MiniZinc version 1.4, and features some minor improvements.

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

Cheers,
	Guido