search

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.
https://ddsmt.readthedocs.io
Other
50 stars 17 forks source link

Use logging instead of _msg() #20

Closed nafur closed 3 years ago

nafur commented 3 years ago

Use standard logging facilities.