[](https://deps.rs/crate/z3/0.4.0)
This project contains:
z3(4 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| lazy_static | ^1 | 1.4.0 | up to date |
| log | ^0.4 | 0.4.21 | up to date |
| num | ^0.2.0 | 0.4.2 | out of date |
| z3-sys | ^0.5.0 | 0.8.1 | out of date |
(2 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| env_logger | ^0.6 | 0.11.3 | out of date |
| semver | ^0.9 | 1.0.22 | out of date |