MiniZinc is a programming language recognized by GitHub Linguist and used with .mzn.
Quick facts
What is MiniZinc
MiniZinc is a programming language recognized by GitHub Linguist and used with .mzn.
GitHub Linguist classifies MiniZinc as a programming language, typically using extensions such as .mzn.
File extensions:
Related languages
Frequently asked questions
MiniZinc is a programming language recognized by GitHub Linguist and used with .mzn.
Common extensions include .mzn.
Sources & standards
Updated 2026-08-18
Explore this reference