MiniZinc, Gecode удалить разделители раствора

Question

У меня есть модель minizinc, для которой я хочу найти все решения (я использую gecode), а затем распечатать статистику, это легко:

mzn-gecode -as foo.mzn

но эта модель будет генерировать тысячи решений, и для каждого решения будет напечатан разделитель:

----------

----------

----------

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

Мне нужно удалить эти разделители и только распечатать статистику. Есть ли способ?

== Обновление ==

Я смог решить эту проблему, изменив источник Gecode в

gecode/flatzinc/flatzinc.cpp

где я удалил

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

Может быть, есть лучшее решение, но это отлично сработало для меня.

Answer 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> перезаписывает стандартный разделитель

Answer 2

Эти разделители показаны, потому что у вас нет выходного оператора для переменных.

Например

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