Install the latest version of MiniZinc
Download and install MiniZinc 2.8.7 (released 2 October 2024).
For detailed instructions, see the documentation.
DownloadDocumentation
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.
MiniZinc User Manual
Manual for the MiniZinc command line tools, the MiniZinc IDE, and additional tools.
MiniZinc Reference Manual
Standard Library documentation, the specification of the MiniZinc language, and how to interface a solver with MiniZinc.
The tutorial is also available in Chinese! MiniZinc手册中文版已经提供 (PDF version)
Integrations
MiniZinc can be used from your favourite programming language through our official language integrations.
MiniZinc Python
Access all MiniZinc functionality directly from Python.
MiniZinc JavaScript
Use MiniZinc completely within your web browser, or server-side using NodeJS.
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.
Advanced Modeling for Discrete Optimization
This course explores debugging, writing predicates, and tackling advanced scheduling and packing problems.
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.
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.
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.