rustio rustio.net

Decision Workspace

rustsat-batsat

Side-by-side comparison of Rust crates

56
rustsat-batsat
growingv0.7.5

Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust

Core Metrics

rustsat-batsat
Health Score56
Total Downloads8.5K
30d Downloads93
Dependents1
Releases12
Last Updated56d ago
Age1y 5m

Health Breakdown

rustsat-batsat
Maintenance
19
Quality
16
Community
4
Popularity
5
Documentation
12

Technical Details

rustsat-batsat
Version0.7.5
Stable (≥1.0)✗ No
LicenseMIT
Dependencies3
Crate Size8KB
Features1
Yanked %0.0%
Edition2021
MSRV1.76.0
Owners1

Links

rustsat-batsat detail →GitHub ↗crates.io ↗

Quick Verdict

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