rust-formal-verification
v0.1.11crates.io· RustA rust library that makes it easier to develop, prototype and test new algorithms for formal verification like IC3, PDR, AVY and others.
The verdict
Deprecated. Don't start a new project on this. yanked
yanked
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceDeprecated
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Package author marked it deprecated.
Popularity
0 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.1.113 years ago
- 0.1.103 years ago
- 0.1.93 years ago
- 0.1.83 years ago
- 0.1.73 years ago
- 0.1.63 years ago
- 0.1.53 years ago
- 0.1.43 years ago