[](https://deps.rs/crate/z3tracer/0.8.0)
This project contains 1 outdated main dependency.
z3tracer(3 total, 1 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 | 1.0.59 | up to date |