smt2parser is used at run time in 5 crates. It is a direct run-time dependency in 4 crates.

Number of dependers smt2parser version Downloads/month
3 0.6.1 84
1 0.4.1 0
1 0.1.0 18K
Depender (with downloads and own rev deps) smt2parser version
18K 1 z3tracer ^0.6.0
smt2proxy ^0.6.0
smt2patch ^0.4.1
amzn-smt-ir ^0.6.1