Why choose MiniZinc?
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.