MiniZinc Data 是 GitHub Linguist 收录的一种数据格式，通常使用 .dzn 等扩展名。
快速事实
什么是 MiniZinc Data
MiniZinc Data 是 GitHub Linguist 收录的一种数据格式，通常使用 .dzn 等扩展名。
在 GitHub Linguist 中，MiniZinc Data 被归类为数据格式，常用扩展名包括 .dzn。
文件扩展名：
相关语言
常见问题
MiniZinc Data 是 GitHub Linguist 收录的一种数据格式，通常使用 .dzn 等扩展名。
常见扩展名包括 .dzn。
来源与规范
更新于 2026-08-18
继续探索