[](https://deps.rs/crate/z3/latest)
[](https://deps.rs/crate/z3/0.20.1)
z3(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| log | ^0.4 | 0.4.33 | up to date |
| num | ^0.4 | 0.4.3 | up to date |
| z3-sys | ^0.11.0 | 0.11.0 | up to date |
(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| env_logger | ^0.11 | 0.11.10 | up to date |
| rayon | ^1.10.0 | 1.12.0 | up to date |
| semver | ^1 | 1.0.28 | up to date |