rustio rustio.net

Decision Workspace

rustsat-cadical

Side-by-side comparison of Rust crates

55
rustsat-cadical
growingv0.7.5

Interface to the SAT solver CaDiCaL for the RustSAT library.

Core Metrics

rustsat-cadical
Health Score55
Total Downloads25.6K
30d Downloads374
Dependents30
Releases22
Last Updated56d ago
Age2y 7m

Health Breakdown

rustsat-cadical
Maintenance
17
Quality
15
Community
6
Popularity
5
Documentation
12

Technical Details

rustsat-cadical
Version0.7.5
Stable (≥1.0)✗ No
LicenseMIT
Dependencies11
Crate Size533KB
Features37
Yanked %0.0%
Edition2021
MSRV1.77.0
Owners1

Links

rustsat-cadical detail →GitHub ↗crates.io ↗

Quick Verdict

  • •rustsat-cadical leads with a health score of 55/100, but none of the options score above 80.