MiniZinc 2

Installation Instructions (source)

These instructions are for compiling and installing MiniZinc 2 from the source code.

The following source packages are available for download:

You can also obtain the source code from our GitHub repository.

MiniZinc 2 is based on the libminizinc C++ library. In order to compile and install libminizinc you will need the following software:

  • cmake
  • A recent C++ compiler, libminizinc has been tested with recent versions of clang, g++, and Microsoft Visual C++.
  • Optionally: The bison and flex parser/lexer generators. These usually come packaged for Linux distributions, and they are part of the Xcode developer tools for Mac OS. On Windows, you can e.g. install them via cygwin.

Compilation

Download and unpack the source code package or clone our git repository. In a terminal, change into the source code toplevel directory.

Execute the following commands in the source code toplevel directory:

  • mkdir build
  • cd build
  • cmake ..
  • cmake --build .

Please refer to the cmake documentation for platform-specific options.