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 |