Path	Lines of Code
CODE_OF_CONDUCT.md	57
CONTRIBUTING.md	33
README.md	21
smt2parser/README.md	35
smt2parser/README.tpl	16
smt2patch/README.md	18
smt2patch/README.tpl	17
smt2proxy/README.md	20
smt2proxy/README.tpl	19
sokrates_conventions.json	72
z3tracer/README.md	51
z3tracer/README.tpl	16
z3tracer/notebooks/README.md	23