Gecode 5.1.0 has been released on April 18th, 2017 (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.
Binary Packages (Version 5.1.0)
- Microsoft Windows: the packages assume that you have the appropriate version of Microsoft Visual Studio installed. If not (maybe you only want to use the FlatZinc interpreter) you might have to install the Visual C++ Redistributable Packages for Visual Studio 2013, Visual Studio 2015, or Visual Studio 2017.
- Windows x64 (64 bit, MSVC 2013): Gecode-5.1.0-x64-2013.msi.
- Windows x64 (64 bit, MSVC 2015): Gecode-5.1.0-x64-2015.msi.
- Windows x64 (64 bit, MSVC 2017): Gecode-5.1.0-x64-2017.msi.
- Mac OS X ≥ 10.8 (Intel 64 bit only): Gecode-5.1.0.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.
The binary packages for Windows and Mac OS include some parts of the Qt library which is licensed under the GNU Lesser General Public License (LGPL), for more details read about Qt's licensing terms. Additionally, the Windows binary is statically linked against the MPFR and MPIR libraries which are also both licensed under the GNU Lesser General Public License (LGPL).
Source Packages (Version 5.1.0)
Anonymous svn Access
The Gecode source code is also available via anonymous access to our subversion repository. The URL of the released version, 5.1.0, is
To get started, check out the current release using the command
svn --username anonymous checkout \ https://svn.gecode.org/svn/gecode/tags/release-5.1.0
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