Description
MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.…
Preview
Ratings & Reviews
No ratings yet
Be the first to rate MiniZinc.
People also visit
OrcaSlicer
G-code generator for 3D printers (Bambu, Prusa, Voron, VzBot, RatRig…
MiniZinc FAQ
What is MiniZinc?
MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints. Your model is then compiled into FlatZinc, a solver input language that is understood by a wide range of solvers.
Is MiniZinc free?
Yes. MiniZinc is free to use.
Do I need to download MiniZinc?
No. MiniZinc runs in your browser at minizinc.org, so there's nothing to install.
Who makes MiniZinc?
MiniZinc is made by MiniZinc.
What are the best MiniZinc alternatives?
Popular alternatives to MiniZinc include Node Readiness Controller, Arduino IDE and Shiny. See all MiniZinc alternatives