Path	Lines of Code
smt2parser/src/lib.rs	130
smt2patch/src/lib.rs	93
z3tracer/src/model.rs	726
z3tracer/src/report.rs	285