Z3 is used at run time in 20 crates (of which 4 optionally). It is a direct run-time dependency in 15 crates. It's used only as a dev dependency in 2 crates (of which 1 directly).
| Number of dependers | Z3 version | Downloads/month |
|---|---|---|
| 12 | 0.12.1 | 6.1K |
| 4 | 0.11.2 | 400 |
| 2 | 0.10.0 | 400 |
| 2 | 0.7.1 | 5 |
| 2 | 0.4.0 | 63 |
| Depender (with downloads and own rev deps) | Z3 version | |||
|---|---|---|---|---|
| 1.3K | 9 | libafl | optional | ^0.12.1 |
| 230 | rapx | ^0.12.1 | ||
| secrust | ^0.12.1 | |||
| smt-lang | ^0.11.2 | |||
| jingle | ^0.12.1 | |||
| liquid-layout | ^0.10 | |||
| etk-analyze | ^0.11.2 | |||
| z3d | ^0.4.0 | |||
| 1 | peepmatic | ^0.7.1 | ||
| 1 | absolut-core | ^0.11.2 | ||
| inverse-conway | ^0.12.1 | |||
| 360 | 4 | liblisa | optional | ^0.12.1 |
| 350 | 2 | biodivine-lib-param-bn | optional | ^0.12.1 |
| duskphantom-backend | optional | ^0.12.1 | ||
| monster-rs | optional | ~0.10 | ||
| c2rust-refactor | dev | ^0.4.0 | ||