1

すべてのソリューションを見つけて (gecode を使用)、統計を出力したい minizinc モデルがあります。これは簡単です。

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 に答える