Option to suppress printing status line
Opened this issue · 1 comments
arminbiere commented
As observed by Peter Lammich it might be useful to suppress beside comments and witness also the status line.
Then cadical -q --no-witness --no-status cnf - | ... would only print the actual proof lines.
arminbiere commented
With status lines I mean s SATISFIABLE or s UNSATISFIABLE.