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