Problem submissions for the 2026 minizinc challenge are currently open! The compiler is the heart of the minizinc tool chain. It translates constraint models into flatzinc, a language that is understood by a wide range of solvers.
Minizinc comes with a simple integrated. Jan 23, 2026the minizinc handbook contains all the documentation for the minizinc language and system. Jan 19, 2025the minizinc challenge is an annual competition of constraint programming solvers on a variety of benchmarks.
If you use minizinc in your own research or would like to acknowledge it in a publication, please use the following references. Minizinc is a free and open-source constraint modeling language. May 16, 2025minizinc is a free and open-source constraint modeling language.
Design of the minizinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching basic modeling for discrete optimization (and other moocs). May 26, 2025the challenge will require solvers to process 100 minizinc instances with a run-time limit of 20 minutes (process time) per instances. Note that the minizinc to flatzinc time will be included.
» problems and globals this table contains all problems used for the minizinc challenge 2008 – 2025.
'/><text x='50%' y='52%' font-family='Arial,Helvetica,sans-serif' font-size='44' fill='white' text-anchor='middle' dominant-baseline='middle'>Yahut</text></svg>)
