MiniZinc，Gecode去除溶液分离器

Question

我有一个minizinc模型，我想找到所有解决方案（我使用gecode）然后打印统计数据，这很容易：

mzn-gecode -as foo.mzn

但是这个模型将生成数千个解决方案，并为每个解决方案打印一个分隔符：

----------

----------

----------

----------
==========

我需要删除这些分隔符并仅打印统计信息。有办法吗？

==更新==

我能够通过更改

中的Gecode源来解决这个问题

gecode/flatzinc/flatzinc.cpp

我删除了

out << "----------" << std::endl;

也许有更好的解决方案，但这对我来说很有用。

Answer 1

显示这些分隔符是因为您没有变量的任何输出语句。

E.g。

output [
  show(x) ++ "\n" ++ show(y)
];

Answer 2

--soln-sep <s>, --soln-separator <s>, --solution-separator <s>
        Specify the string used to separate solutions.
        The default is to use the FlatZinc solution separator,
        "----------".

添加--soln-sep <s>会覆盖标准分隔符