Re: [eclipse-clp-users] Preventing bb_min from printing debug info

Sergey Dymchenko wrote:
> Hmm, but how to prevent "Branch-and-bound timeout!" message from
> printing in the case when timeout option is set?
> It looks like report_success and report_failure don't affect this message.

The easiest way to suppress this (and similar) messages is
to redirect the log_output stream, onto which these messages
are printed.

You can for example redirect to the 'null' stream by calling
set_stream(log_output,null).  The messages are then lost.

Or you can open a log file and redirect the messages there:
open("log.txt",write,S), set_stream(log_output,S).


-- Joachim