Welcome to the documentation of the PyMzn project.

PyMzn is a Python library that wraps and enhances the MiniZinc tools for constraint programming. PyMzn is built on top of the minizinc toolkit and provides a number of off-the-shelf functions to readily solve problems encoded with the MiniZinc language and return solutions as Python dictionaries.

GitHub repository

MiniZinc Homepage

MiniZinc Handbook

Indices and tables


Paolo Dragone, PhD student at the University of Trento.