Z3 is used at run time in 10 crates (of which 3 optionally). It's used only as a dev dependency in 2 crates (of which 1 directly).

Number of dependers Z3 version Downloads/month
2 0.12.1 4.1K
4 0.11.2 600
2 0.10.0 35
2 0.7.1 6
2 0.4.0 77
Depender (with downloads and own rev deps) Z3 version
850 8 libafl optional ^0.12.0
1 peepmatic ^0.7.1
smt-lang ^0.11.2
liquid-layout ^0.10
etk-analyze ^0.11.2
z3d ^0.4.0
1 absolut-core ^0.11.2
110 2 biodivine-lib-param-bn optional ^0.12.1
monster-rs optional ~0.10
c2rust-refactor dev ^0.4.0