从 IDE 获取 Minizinc 输出为 .txt

Question

假设我用.dzn 运行.mzn 并在IDE 中得到如下输出：

Supplier01,100,100,100,100,100,100,100,100,100,100,100,100
Supplier02,200,200,200,200,200,200,200,200,200,200,200,200
Supplier03,40,49,359,834,1067,1377,334,516,761,1001,1251,1583
Supplier04,500,500,500,500,500,500,500,500,500,500,500,500
Supplier05,161,200,200,200,200,200,200,200,200,200,200,200
Supplier06,500,500,500,500,500,500,500,500,500,500,500,500
----------
==========

有什么方法可以在我计算机上首选位置的.txt 或.csv 文件中生成此输出？我知道我们可以在命令提示符下执行此操作，但有什么方法可以使用它自己的 IDE 来完成吗？

Answer 1

MiniZinc IDE 目前不包含为其他应用程序导出解决方案的功能。

当前的期望是，如果您想将 MiniZinc 与其他应用程序集成，您将使用 MiniZinc Python、iMiniZinc 或命令行工具等工具来促进连接。在您的情况下，使用 MiniZinc Python 或 iMiniZinc 可能是一个很好的解决方案，因为 Python 可以使用 csv 模块生成 csv 文件。如果您想查看解决方案并与之交互以及输出 csv 文件，那么 iMiniZinc 可以在 Jupyter Notebook 中提供正确的工具来完成这两项工作。

如果您对 MiniZinc IDE 非常满意并且想继续使用它，那么另一个选择就是尽量减少不便。您的输出语句已经提供了 csv 样式的解决方案。所以剩下的唯一部分就是制作文件。 MiniZinc IDE 可以打开.csv 文件。所以我的建议是在这种情况下创建一个空的.csv 文件，在 IDE 中打开它。在输出窗口中从实例中获得解决方案后，您可以直接复制到文件中。