rustio rustio.net

Decision Workspace

veripb-formula

Side-by-side comparison of Rust crates

48
veripb-formula
experimentalv0.1.2

VeriPB library to handle pseudo-Boolean constraints, formulas, and more data structures.

Core Metrics

veripb-formula
Health Score48
Total Downloads831
30d Downloads73
Dependents11
Releases4
Last Updated7d ago
Age5m

Health Breakdown

veripb-formula
Maintenance
18
Quality
7
Community
8
Popularity
3
Documentation
12

Technical Details

veripb-formula
Version0.1.2
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies8
Crate Size41KB
Features0
Yanked %25.0%
Edition2021
MSRV1.84.0
Owners2

Links

veripb-formula detail →GitHub ↗crates.io ↗

Quick Verdict

  • •veripb-formula leads with a health score of 48/100, but none of the options score above 80.