我是 Minizinc 的新手，我遇到了一个问题。我有包含这个的 .dzn 文件
10 7
4
3 2
3 5
4 3
5 5
我希望将其读入我的文件，第一行10 7另存为h=10and w=7，下一行4另存为n=4，最后几行另存为数组dims=[[3,2],[3,5],[4,3],[5,5]]。然而，我还没有找到如何做到这一点，因为在教程中我已经阅读了 .dzn 文件中的变量已经命名，因此可以在 .mzn 文件中轻松调用，即使用命令int: w;。有没有办法在不更改 .dzn 文件的情况下命名 MiniZinc 文件中的整数？
非常感谢
minizinc ×1