Decision Workspace

rustsat

Side-by-side comparison of Rust crates

growingv0.7.5

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

Core Metrics

	rustsat
Health Score	57
Total Downloads	61.7K
30d Downloads	2.5K
Dependents	321
Releases	25
Last Updated	56d ago
Age	2y 8m

Health Breakdown

rustsat

Maintenance

Quality

Community

Popularity

Documentation

Technical Details

	rustsat
Version	0.7.5
Stable (≥1.0)	✗ No
License	MIT
Dependencies	20
Crate Size	243KB
Features	14
Yanked %	8.0%
Edition	2021
MSRV	1.76.0
Owners	1

Links

rustsat detail →GitHub ↗crates.io ↗

Quick Verdict

•rustsat leads with a health score of 57/100, but none of the options score above 80.
•rustsat is depended on by 321 crates — strongest ecosystem trust.