.dzn
2 claimants
2 primary
0 secondary
shared primary (2)
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.
94.7K
total occurrences
57.4K
since 2019 (60.6%)
2011–2023
years active
Case variants in archive: .dzn (94.7K), .DZN (2), .Dzn (1) — aggregated above.
Attribution status
This extension is attributed to MiniZinc; MiniZinc Data as primary by 2 authoritative claims.
Authoritative sources: ✓ Linguist ✗ Pygments · no claim ✓ Wikidata · Q86358817 ✗ Wikipedia · no claim
Claimants (2)
Languages that list
.dzn among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| MiniZinc | wikidata | primary |
| MiniZinc Data | linguist | primary |
SWH-mined examples (0)
No archived examples for .dzn in our local mirror yet.