satlog.rs: Simple logger for SAT-like solvers
This outputs logs to stdout as DIMACS comments:
c WARN: ...
c ERR: ...
satlog.rs: Simple logger for SAT-like solversThis outputs logs to stdout as DIMACS comments:
c WARN: ...
c ERR: ...