MiniZinc、Gecode remove解决方案分隔符

Question

我有一个迷你模型，我想找到所有的解决方案(我使用gecode)，然后打印统计数据，这很简单：

mzn-gecode -as foo.mzn

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

----------

----------

----------

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

我需要删除这些分隔符，只打印统计数据。有什么办法吗？

==Update==

中修改Gecode源代码就可以解决这个问题。

gecode/flatzinc/flatzinc.cpp

我删除的地方

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

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

Answer 1

之所以显示这些分隔符，是因为没有任何变量的output语句。

例如。

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>覆盖标准分隔符