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	53
Total Downloads	80.6K
30d Downloads	10.5K
Dependents	326
Releases	25
Last Updated	164d ago
Age	3y

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 53/100, but none of the options score above 80.
•rustsat is depended on by 326 crates — strongest ecosystem trust.