This project contains:

  • 1 outdated main dependency
  • 1 outdated development dependency

Crate minisat

Dependencies

(1 total, 1 outdated)

CrateRequiredLatestStatus
 itertools^0.70.12.1out of date

Dev dependencies

(1 total, 1 outdated)

CrateRequiredLatestStatus
 quickcheck^0.71.0.3out of date