rustio rustio.net

Decision Workspace

rustsat-kissat

Side-by-side comparison of Rust crates

55
rustsat-kissat
growingv0.7.5

Interface to the SAT solver kissat for the RustSAT library.

Core Metrics

rustsat-kissat
Health Score55
Total Downloads25.4K
30d Downloads205
Dependents9
Releases22
Last Updated56d ago
Age2y 7m

Health Breakdown

rustsat-kissat
Maintenance
17
Quality
16
Community
5
Popularity
5
Documentation
12

Technical Details

rustsat-kissat
Version0.7.5
Stable (≥1.0)✗ No
LicenseMIT
Dependencies10
Crate Size255KB
Features16
Yanked %0.0%
Edition2021
MSRV1.77.0
Owners1

Links

rustsat-kissat detail →GitHub ↗crates.io ↗

Quick Verdict

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