PyMzn

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

Table of Contents

• Install
  • Requirements
  • Optional dependencies
  • Install additional solvers
• Tutorial
  • Data
  • Solver arguments
• Manual
  • MiniZinc tools
  • Dzn files
  • Solvers
  • Templating
  • Asynchronous execution
  • Configuration
  • PyMzn executable

Indices and tables

• Index

Author

Paolo Dragone, PhD student at the University of Trento.