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.1K
8 0.7.1 320
3 0.6.3 100
5 0.5.0 77
1 0.4.0 9
2 0.3.0 13
Depender (with downloads and own rev deps) z3-sys version
6.5K 14 z3 ^0.8
1 seer-z3 ^0.3
2 isla-lib ^0.5.0
rust_smt ^0.4.0
2 falcon-z3 ^0.7
monster-rs optional ~0
1 smtlib-lowlevel optional ^0.8.1
amzn-smt-ir dev ^0.7