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