PyMzn

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

Author

Paolo Dragone, PhD student at the University of Trento.