Documentation

The MiniZinc Handbook contains all the documentation for the MiniZinc language and system.
Also available as a printable PDF.

• MiniZinc Tutorial

  A step-by-step introduction to modelling with MiniZinc, from basic syntax and simple modelling techniques to more advanced topics.

  Read the tutorial
• MiniZinc User Manual

  Manual for the MiniZinc command line tools, the MiniZinc IDE, and additional tools.

  Read the user manual
• MiniZinc Reference Manual

  Standard Library documentation, the specification of the MiniZinc language, and how to interface a solver with MiniZinc.

  Read the reference manual

The tutorial is also available in Chinese! MiniZinc手册中文版已经提供 (PDF version)

Courses

MiniZinc has an extensive online course available on Coursera for free.

• Basic Modeling for Discrete Optimization

  Learn an entirely new way to think about solving challenging problems by stating the problem using MiniZinc, and letting the tool chain do the rest.

  Enrol in the course
• Advanced Modeling for Discrete Optimization

  This course explores debugging, writing predicates, and tackling advanced scheduling and packing problems.

  Enrol in the course
• Solving Algorithms for Discrete Optimization

  Learn more about the solving technologies used to solve challenging problems, and how MiniZinc models are transformed to be executable by the underlying solver.

  Enrol in the course

Publications

We have published a number of papers about the design and implementation of MiniZinc, and many other researchers have used MiniZinc for their work.

• Research Papers

  Research papers on the design, implementation, and applications of MiniZinc.

  View publications
• Building Decision Support Systems using MiniZinc

  This book by Mark Wallace introduces readers to the principles of intelligent decision support systems (IDSS) and how to build them with MiniZinc.

  Read the book