Gecode: Download

Gecode 6.2.0 has been released on 12 April 2019 (Changelog). Gecode is distributed under the MIT license. See our license information page for details. If you find any bugs, please report them using the Gecode issue page on GitHub.

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.2.0)

  • Microsoft Windows x64 (64 bit, MSVC 2017): the package assumes that you have Microsoft Visual Studio 2017 installed. If not, you might have to install the Visual C++ Redistributable Packages Visual Studio 2017.
  • Mac OS X ≥ 10.8 (Intel 64 bit only): This package includes the Qt library, no separate download is needed.
  • Linux and FreeBSD: while packages for many distributions 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.2.0)

Source Code on GitHub

The Gecode source code is also available via our GitHub repository. The released version (currently 6.2.0) 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.