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

Number of dependers Z3 version Downloads/month
1 0.12.1 13K
7 0.11.2 1.4K
2 0.10.0 90
2 0.7.1 89
2 0.4.0 130
Depender (with downloads and own rev deps) Z3 version
460 1 peepmatic ^0.7.1
1.4K 7 libafl optional ^0.12.0
smt-lang ^0.11.2
1 absolut-macros ^0.11.2
etk-analyze ^0.11.2
liquid-layout ^0.10
z3d ^0.4.0
1 absolut-core ^0.11.2
280 2 biodivine-lib-param-bn optional ^0.11.2
monster-rs optional ~0.10
160 c2rust-refactor dev ^0.4.0