[](https://deps.rs/crate/boolector/0.1.2)
This project contains 1 outdated main dependency.
boolector(2 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| boolector-sys | ^0.3.1 | 0.7.2 | out of date |
| libc | ^0.2 | 0.2.154 | up to date |