rustio rustio.net

Decision Workspace

sat-solvers

Side-by-side comparison of Rust crates

43
sat-solvers
experimentalv0.1.1

Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation

Core Metrics

sat-solvers
Health Score43
Total Downloads24
30d Downloads4
Dependents0
Releases1
Last Updated60d ago
Age2m

Health Breakdown

sat-solvers
Maintenance
9
Quality
14
Community
6
Popularity
2
Documentation
12

Technical Details

sat-solvers
Version0.1.1
Stable (≥1.0)✗ No
LicenseMIT
Dependencies4
Crate Size1.7MB
Features6
Yanked %0.0%
Edition2024
MSRV1.85
Owners1

Links

sat-solvers detail →GitHub ↗crates.io ↗

Quick Verdict

  • •sat-solvers leads with a health score of 43/100, but none of the options score above 80.