从IDE获取Minizinc以.txt格式输出

Question

想象我用.mzn运行了.dzn并在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