1

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

mzn-gecode -as foo.mzn

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

----------

----------

----------

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

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

==更新==

我能够通过更改 Gecode 源来解决这个问题

gecode/flatzinc/flatzinc.cpp

我删除的地方

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

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

4

2 回答 2

1

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

例如

output [
  show(x) ++ "\n" ++ show(y)
];
于 2012-10-08T12:47:48.807 回答
1 
--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>覆盖标准分隔符

于 2016-02-12T14:08:33.563 回答