[](https://deps.rs/crate/z3tracer/0.8.0)
This project contains 2 outdated main dependencies.
z3tracer(3 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| smt2parser | ^0.1.0 | 0.6.1 | out of date |
| structopt | ^0.3.12 | 0.3.26 | up to date |
| thiserror | ^1.0.24 | 2.0.12 | out of date |