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 320
1 0.4.1 0
1 0.1.0 17K
Depender (with downloads and own rev deps) smt2parser version
17K 1 z3tracer ^0.6.0
smt2patch ^0.4.1
smt2proxy ^0.6.0
amzn-smt-ir ^0.6.1