Build usage example with minimal logging emitted
jayvdb opened this issue · 1 comments
jayvdb commented
"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.
jayvdb commented
Switched to logging-helper, but at least the README needs to be updated with example how to get logging visible in REPL.