Gecode: Download

Gecode 6.0.1 has been released on May 22nd, 2018 (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 6.0.1)

  • 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 2015 or Visual Studio 2017.
  • Mac OS X ≥ 10.8 (Intel 64 bit only): Gecode-6.0.1.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 6.0.1)

Source code on GitHub

The Gecode source code is also available via our GitHub repository. The released version, 6.0.1, is always available as the master branch:

To get started, check out the current release using the command

git clone

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, try the develop branch:

git clone -b develop

Previous Versions

Can be found on GitHub.