[](https://deps.rs/crate/z3tracer/0.8.0)
z3tracer(3 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| smt2parser | ^0.1.0 | 0.6.0 | out of date |
| structopt | ^0.3.12 | 0.3.22 | up to date |
| thiserror | ^1.0.24 | 1.0.26 | up to date |