.mzn
1 claimant
1 primary
0 secondary
unambiguous primary
SWH popularity
Distinct files in the full Software Heritage archive (2026-06-04 export), dated by first appearance, following Desmazières, Di Cosmo, Lorentz (MSR 2025). Case-aggregated. citation.
62.0K
total files
26.2K
first seen 2021–2025 (42.3%)
2020
median year (half its files since)
Case variants in archive: .mzn (62.0K), .MZN (4), .Mzn (1) — aggregated above.
Attribution status
This extension is attributed to 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.