minizinc mit Homebrew, apt, MacPorts, Nix, zypper installieren

Projektlinks

• Homepage
• Repository
• Upstream-Dokumentation
• Paketmanager-Seite

Befehle und Aliase

• minizinc
• mzn2doc

Projektgeschichte

Its origins are unusually well documented. A history paper by Peter J. Stuckey, Guido Tack, and Maria Garcia de la Banda says MiniZinc was introduced in the CP2007 paper "MiniZinc: Towards a Standard CP Modelling Language" as a response to the lack of a common constraint-programming modeling language. The paper traces the language back to the G12 project, started in 2005, and to Zinc: MiniZinc was created as a stripped-down version of Zinc that compiled a model plus data instance into FlatZinc. The first MiniZinc version, 0.6, was released on September 23, 2007, the first day of CP2007.

Adoptionsgeschichte

Technically, MiniZinc's major contribution is the separation between modeling and solving. Modelers write .mzn models with parameters, decision variables, global constraints, and objectives; the minizinc compiler flattens a particular model/data pair into FlatZinc or another solver-facing form. That lets users try different solvers from the same model, while solver authors can support MiniZinc by providing FlatZinc interfaces and global-constraint definitions.

Wie es verwendet wird

Adoption is tied strongly to the constraint-programming research and optimization communities. The MiniZinc Challenge has run every year since 2008 to compare constraint solvers on shared benchmarks, and the history paper notes that the challenge encouraged solver implementers to provide compliant FlatZinc interfaces while building a public benchmark library. The same paper cites deployed and applied MiniZinc use in ship scheduling, optimization consulting, mission planning, automated configuration, cloud deployment, mobile robot planning, building automation, data acquisition, and preference elicitation. In Homebrew, the formula brings in solver-related dependencies such as Gecode and COIN-OR components, reflecting the package's role as a modeling frontend plus compiler rather than a single solver.

Quellen

• https://docs.minizinc.dev/en/stable/flattening.html
• https://docs.minizinc.dev/en/stable/index.html
• https://formulae.brew.sh/formula/minizinc
• https://freuder.me/wp-content/uploads/2019/09/2007.pdf
• https://github.com/MiniZinc/libminizinc
• https://www.minizinc.org/
• https://www.minizinc.org/challenge/