rustio rustio.net

Decision Workspace

cadical-veripb-tracer

Side-by-side comparison of Rust crates

34
cadical-veripb-tracer
experimentalv0.1.0

VeriPB proof tracer for CaDiCaL via RustSAT

Core Metrics

cadical-veripb-tracer
Health Score34
Total Downloads963
30d Downloads33
Dependents1
Releases1
Last Updated330d ago
Age11m

Health Breakdown

cadical-veripb-tracer
Maintenance
3
Quality
15
Community
2
Popularity
4
Documentation
10

Technical Details

cadical-veripb-tracer
Version0.1.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies5
Crate Size8KB
Features3
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

cadical-veripb-tracer detail →GitHub ↗crates.io ↗

Quick Verdict

  • •cadical-veripb-tracer leads with a health score of 34/100, but none of the options score above 80.