.mzn
1 claimant
1 primary
0 secondary
unambiguous primary
SWH popularity
From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.
48.4K
total occurrences
18.8K
since 2019 (38.8%)
2008–2023
years active
Case variants in archive: .mzn (48.4K), .MZN (2), .Mzn (1) — aggregated above.
Attribution status
This extension is attributed to MiniZinc; MiniZinc as primary by 2 authoritative claims.
Authoritative sources: ✓ Linguist ✗ Pygments · no claim ✓ Wikidata · Q86358817 ✗ Wikipedia · no claim
Claimants (2)
Languages that list
.mzn among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| MiniZinc | linguist | primary |
| MiniZinc | wikidata | primary |
SWH-mined examples (0)
No archived examples for .mzn in our local mirror yet.