Suppressing annoying chuffed messages

[vdi...@gmail.com]

The Chuffed solver has the annoying habit to put lines like % Pruned 50000 learnt clauses into the output files. This is very annoying when you want to process the output. Is there a way to suppress these messages?

% Pruned 49995 learnt clauses

% Pruned 49995 learnt clauses

[Jip J. Dekker]

When processing output using tooling I would recommend using the —json-stream flag so the output is given as a collection of JSON objects. The messages that have the “comment” type can then just be ignored.

Chuffed will only output these messages when given the verbose flag. So it sounds like you are using the “-v” flag. If you want to enable verbose mode for the compiler, but not for the solver, you can instead use the “--verbose-compilation” flag.

Cheers,

– Jip

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/288f9aa0-7fec-44d3-8851-59e7dd446d2dn%40googlegroups.com.