z3-sys is used at run time in 30 crates (of which 6 optionally). It is a direct run-time dependency in 7 crates. It's used only as a dev dependency in 3 crates (of which 1 directly).

Number of dependers z3-sys version Downloads/month
14 0.8.1 6.4K
8 0.7.1 270
3 0.6.3 60
5 0.5.0 58
1 0.4.0 7
2 0.3.0 4
Depender (with downloads and own rev deps) z3-sys version
6.8K 14 z3 ^0.8
650 1 smtlib-lowlevel optional ^0.8.1
1 seer-z3 ^0.3
2 isla-lib ^0.5.0
2 falcon-z3 ^0.7
rust_smt ^0.4.0
monster-rs optional ~0
amzn-smt-ir dev ^0.7