Welcome to the documentation of the PyMzn project.

PyMzn is a Python library that wraps and enhances the MiniZinc tools for CSP modelling and solving. It is built on top of the MiniZinc toolkit and provides a number of off-the-shelf functions to readily solve problems encoded in MiniZinc and parse the solutions into Python objects.

GitHub repository

Indices and tables


Paolo Dragone, PhD student at the University of Trento.