libcprover_rust
v6.9.0crates.io· RustRust API for CBMC and assorted CProver tools
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published 1 month ago.
Popularity
17 downloads / week
Security
No known advisories for this version (OSV).
License
BSD-4-Clause
Dependencies
No runtime dependencies
Recent releases
- 6.9.01 month ago
- 6.8.07 months ago
- 6.7.111 months ago
- 6.7.011 months ago
- 6.6.0over a year ago
- 6.5.0over a year ago
- 6.4.1over a year ago
- 6.4.0over a year ago