如何在Minizinc中从没有变量名的.dzn文件中读取

一个dzn文件是不是包含数据的MiniZinc模型的任何文件。这些文件遵循严格的格式，所有数据都以表格形式给出

<ident> = <expression>;

这就是为什么您的文件不是dzn文件的原因。目前 MiniZinc 仅支持dzn格式或json格式中的直接数据。编译器无法读取其他格式。MiniZinc 语言目前没有能力为自定义数据文件创建解析器。

如果您的数据仅以这种格式给出，那么有两种选择可以将它们与 MiniZinc 一起使用：

1. 您可以编写一个小脚本，将描述的格式转换为json或dzn。这可以用任何编程语言完成。
2. 您可以使用 MiniZinc Python 脚本前端：使用 Python 您可以解析数据，而 MiniZinc 模块将允许您直接将数据分配给实例。