Install

PyMzn can be installed via Pip:

pip3 install pymzn

or from the source code:

python3 setup.py install

Currently, PyMzn is developed and maintained in Python v3.5 with a porting to Python v2.7 at every release (the python2 branch does not always contain the most recent changes).

PyMzn requires some additional software to be installed on your system before you can use it properly, namely:

Install libminizinc

The latest release of the MiniZinc toolkit can be found here:

Download and install the package on your system. After that you should insert the MiniZinc binary path into the PATH environment variable, or alternatively you can configure PyMzn to find the MiniZinc binaries (see Configuration).

Install Gecode

The next step is to install a CSP solver compatible with FlatZinc. You can use any solver you like, but the default one for PyMzn is Gecode. If you use the Gecode solver, PyMzn will work out-of-the-box. PyMzn also supports most of the solvers included in the MiniZinc toolkit. If the solver you are looking for is not supported by PyMzn you can implement your own interface and use it with little configuration (see the Solvers section).

To install Gecode, we recommend you to download and compile the source code, since binary packages are usually less frequently updated. The Gecode source code can be downloaded from:

Instructions on how to compile and install are found in the source package. After installation, either put the Gecode binary directory into the PATH variable, or configure PyMzn accordingly.