High-level language

Model constraint satisfaction and optimisation problems using readable, intuitive logical constructs, with full type safety.

Solver independent

Run the same model using a variety of different solver technologies, without being locked into a particular solver.

Pre-defined constraints

MiniZinc features a large library of pre-defined constraints, making modelling complex relationships simple.

Fully featured development environment

Use the MiniZinc IDE to write and run models, visualise search and solutions, profile performance and more.

In-depth learning materials

MiniZinc has comprehensive documentation, including the tutorial, several courses, the user manual, and library documentation.

Integrate MiniZinc into your project

MiniZinc can be embedded into Python and JavaScript programs, and can even be used entirely from within the browser.