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:
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:
Please refer to the cmake documentation for platform-specific options.