"logzero" is currently badly configured by default, and emits "info" messages by default which isnt ideal for a library where most people will not care about the inner workings of the rule elimination/simplification process.
Try to control logzero, or switch to a different logging util.
"logzero" is currently badly configured by default, and emits "info" messages by default which isnt ideal for a library where most people will not care about the inner workings of the rule elimination/simplification process.
Try to control logzero, or switch to a different logging util.