Problem submissions for the 2024 MiniZinc Challenge are currently open! See the call for problems for more information.

Install the latest version of MiniZinc

Download and install MiniZinc 2.8.5 (released 3 June 2024).

For detailed instructions, see the documentation.

Download

Documentation

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

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

Courses

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

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.