除了生成一个输出文件，然后使用wc -l output.txt和-1除以2并且将-50输出到output.txt，有什么简单的方法可以自动计算minizinc中的解决方案并打印前50解？ 我的程序在一个场景中运行12小时，另一个预计运行2天！
此外，在批处理模式（不是ide）中以任何方式生成除使用时间minizinc之外的资源使用...
感谢您的建议
答案 0 :(得分：1)
命令行程序＆＃34; minizinc＆＃34;以及大多数FlatZinc求解器支持参数＆＃34; -n＆＃34;这是要显示的解决方案的数量。 MiniZinc IDE可以选择＆＃34;在这么多解决方案之后停止：＆＃34;。
请注意，这与满意度问题有关。然而，对于优化问题，对于不同的解算器如何处理＆＃34; -n＆＃34;没有达成共识。