| 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 3 | 3 | 3 | 3 | 3 | 4 | 4 | 5 | 5 | 5 | 5 | 5 | 4 | 3 | 3 | 3 | 4 | 4 | 4 | 4 | 3 | 3 | 4 | 5 | 5 | 4 | 4 | 4 | 4 | 4 | 6 | 6 | 5 | 5 | 5 | 4 | 4 | 3 | 3 | 3 | 4 | 4 | 4 | 4 | 6 | 7 | 6 | 5 | 7 | 7 | 6 | 6 | 7 | 7 |
9
|
9
|
10
|
12
|
13
|
14
|
17
|
18
|
| 2019 | 2020 | 2021 | 2022 | 2023 | 2024 | 2025 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Z3 is used at run time in 37 crates (of which 15 optionally). It is a direct run-time dependency in 30 crates. It's used only as a dev dependency in 2 crates (of which 1 directly).
| Number of dependers | Z3 version | Downloads/month |
|---|---|---|
| 11 | 0.19.8 | 74 |
| 0 | 0.19.7 | 71K |
| 1 | 0.16.2 | 600 |
| 1 | 0.13.3 | 1.8K |
| 16 | 0.12.1 | 5.3K |
| 4 | 0.11.2 | 270 |
| 2 | 0.10.0 | 0 |
| 2 | 0.7.1 | 37 |
| 2 | 0.4.0 | 0 |
| Depender (with downloads and own rev deps) | Z3 version | |||
|---|---|---|---|---|
| 11K | 14 | libafl | optional | ^0.19.2 |
| 110 | jsrp | ^0.12.1 | ||
| secrust | ^0.12.1 | |||
| 1 | peepmatic | ^0.7.1 | ||
| smt-lang | ^0.11.2 | |||
| 650 | 3 | simular | optional | ^0.12 |
| liquid-layout | ^0.10 | |||
| etk-analyze | ^0.11.2 | |||
| z3d | ^0.4.0 | |||
| 1 | jingle | ^0.19.0 | ||
| 1 | absolut-core | ^0.11.2 | ||
| crackers | ^0.19.0 | |||
| inverse-conway | ^0.12.1 | |||
| rapx | ^0.13.3 | |||
| rusty-cpp | ^0.12 | |||
| 1 | smtkit-z3 | ^0.19.7 | ||
| symexrs | ^0.12 | |||
| zpack | ^0.19.2 | |||
| 360 | 4 | liblisa | optional | ^0.12.1 |
| 110 | 4 | biodivine-lib-param-bn | optional | ^0.19.7 |
| fortress-rollback | optional | ^0.19 | ||
| duskphantom-backend | optional | ^0.12.1 | ||
| 1 | asg-lang | optional | ^0.16 | |
| dotscope | optional | ^0.19.7 | ||
| monster-rs | optional | ~0.10 | ||
| 2 | praborrow-prover | optional | ^0.19.7 | |
| 1 | reasonkit-core | optional | ^0.12 | |
| 1 | theory_core | optional | ^0.12 | |
| venn-diagrams | optional | ^0.19.2 | ||
| 2 | xlsynth-g8r | optional | ^0.12 | |
| c2rust-refactor | dev | ^0.4.0 | ||