rustio rustio.net

Decision Workspace

mv-prover-boogie-backend

Side-by-side comparison of Rust crates

28
mv-prover-boogie-backend
growingv0.3.2

Move prover Boogie backend

Core Metrics

mv-prover-boogie-backend
Health Score28
Total Downloads25.9K
30d Downloads108
Dependents23
Releases10
Last Updated1312d ago
Age3y 10m

Health Breakdown

mv-prover-boogie-backend
Maintenance
5
Quality
6
Community
5
Popularity
5
Documentation
7

Technical Details

mv-prover-boogie-backend
Version0.3.2
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies21
Crate Size61KB
Features0
Yanked %100.0%
Edition2021
MSRV—
Owners1

Links

mv-prover-boogie-backend detail →crates.io ↗

Quick Verdict

  • •mv-prover-boogie-backend leads with a health score of 28/100, but none of the options score above 80.
  • •⚠ mv-prover-boogie-backend has not been updated in over a year.