如何从 Minizic 输出中删除最后两行？

Question

当我执行一个 minizinc 程序时，最后两行出现了，但我不希望它们出现在我的输出中。例如

10 10
6
3 3 0 7
3 4 7 6
3 6 7 0
3 7 0 0
4 4 3 0
4 6 3 4
----------
==========

我用这种命令搞定了

minizinc --solver Gecode -p <cores> -t 300000 <model> <in_file>

如何从命令行解决这个问题？

Answer 1

这些线表示求解过程的状态。默认情况下，解决方案使用“---------”分隔，搜索使用“==========”标记为完成。

您可以使用以下标志更改这些：

  --soln-comma <s>, --solution-comma <s>
    Specify the string used to separate solutions.
    The default is the empty string.
  --unsat-msg (--unsatisfiable-msg), --unbounded-msg, --unsatorunbnd-msg,
        --unknown-msg, --error-msg, --search-complete-msg <msg>
    Specify solution status messages. The defaults:
    "=====UNSATISFIABLE=====", "=====UNSATorUNBOUNDED=====", "=====UNBOUNDED=====",
    "=====UNKNOWN=====", "=====ERROR=====", "==========", respectively.

Answer 2

尝试 head -n -2 使用管道：

minizinc --solver Gecode -p <cores> -t 300000 <model> <in_file> | head -n -2`

如何从 Minizic 输出中删除最后两行？

How can I remove the last two rows from Minizic output?

command-line

output

minizinc