Gecode 4.3.2 has been released on November 6th, 2014 (Changelog). Gecode is distributed under the MIT license. See our license information page for details. If you find any bugs, you can enter them into our bug tracking system.
Please refer to Section 2.6 of Modeling and Programming with Gecode for additional installation and compilation instructions.
Gecode comes with an interpreter for the FlatZinc language (see our FlatZinc page for details). It currently supports FlatZinc version 1.6.0.
FlatZinc bug in 4.3.1: Unfortunately the Gecode FlatZinc interpreter in versions 4.3.0 and 4.3.1 had major bugs. Please upgrade to Gecode 4.3.2 (see below) if you are planning to use FlatZinc!
Binary Packages (Version 4.3.2)
- Windows x86 (32 bit, MSVC 2012): Gecode-4.3.2-x86-2012.msi.
- Windows x86 (32 bit, MSVC 2013): Gecode-4.3.2-x86-2013.msi.
- Windows x64 (64 bit, MSVC 2012): Gecode-4.3.2-x64-2012.msi.
- Windows x64 (64 bit, MSVC 2013): Gecode-4.3.2-x64-2013.msi.
- Mac OS X ≥ 10.8 (Intel 64 bit only): Gecode-4.3.2.dmg. This package includes the Qt library, no separate download is needed. Note: The code has been compiled with the Apple clang C++ compiler, which currently seems to cause problems with some float and set constraints.
- Linux and FreeBSD: while packages for many Linux distributions (Debian, Ubuntu, Gentoo, OpenSUSE, and most likely others) and FreeBSD exist, these packages often lag behind by several versions. If you prefer an up-to-date version (which you definitely should), please consider building Gecode from source.
Source Packages (Version 4.3.2)
Anonymous svn Access
The Gecode source code is also available via anonymous access to our subversion repository. The URL of the released version, 4.3.2, is
To get started, check out the current release using the command
svn --username anonymous checkout \ https://svn.gecode.org/svn/gecode/tags/release-4.3.2
You will have to use anonymous as the login and your email address as the password.
You can also try out the cutting-edge development version of Gecode. Please note, however, that this version reflects work in progress, so there may be bugs. It even may not compile at all. So, for the curious and venturous, the URL is
Gecode Versions 4.*.*
- gecode-4.3.1.tar.gz gecode-18.104.22.168z gecode-4.3.0.tar.gz gecode-22.214.171.124z
- gecode-4.2.1.tar.gz gecode-126.96.36.199z
- gecode-4.1.0.tar.gz gecode-188.8.131.52z
- gecode-4.0.0.tar.gz gecode-184.108.40.206z