Is there an equivalent to the CLI "--verbose" argument in the python API ? I wish that the log be printed to stdout when running CheckSatisfiability.
Is there an equivalent to the CLI "--verbose" argument in the python API ?
I wish that the log be printed to stdout when running CheckSatisfiability.