[](https://deps.rs/crate/varisat-dimacs/0.2.2)
This project contains:
varisat-dimacs(4 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| anyhow | ^1.0.32 | 1.0.83 | up to date |
| itoa | ^0.4.4 | 1.0.11 | out of date |
| thiserror | ^1.0.20 | 1.0.60 | up to date |
| varisat-formula | =0.2.2 | 0.2.2 | up to date |
(5 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| env_logger | ^0.7.1 | 0.11.3 | out of date |
| proptest | ^0.10.1 | 1.4.0 | out of date |
| rand | ^0.7.3 | 0.8.5 | out of date |
| tempfile | ^3.0.8 | 3.10.1 | up to date |
| varisat-formula | =0.2.2 | 0.2.2 | up to date |