minizinc - Minizinc - 计算解决方案的数量并打印前 50 个仅用于检查

Question

除了生成输出文件然后使用 wc -l output.txt 和 -1 除以 2 并将 output.txt 标头 -50 之外，有没有简单的方法可以自动计算 minizinc 内的解决方案数量并打印前 50 个解决方案？我的程序在一种情况下运行 12 小时，而另一种预计运行 2 天！

此外，除了使用 time minizinc 之外，以批处理模式（不是 ide）生成资源使用的任何方式......

谢谢你的建议

Answer 1

命令行程序“minizinc”以及大多数 FlatZinc 求解器都支持参数“-n”，即要显示的解的数量。MiniZinc IDE 具有“在这么多解决方案后停止：”选项。

请注意，这与满意度问题有关。然而，对于优化问题，不同的求解器如何处理“-n”并没有达成共识。