rustsat
v0.7.5 GrowingThis 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.
Quick Verdict
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 323 crates
- ✓Permissive license (MIT)
Security
Deep Insights
2.5K downloads in the last 30 days, down 21% from the previous period. May indicate migration to alternatives.
323 crates depend on rustsat. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 2+ years old, rustsat hasn't reached 1.0 yet. Expect potential API changes between versions.
Notable dependents include sark0y_tam_rst, rustsat-minisat, rustsat-cadical, rustsat-glucose, rustsat-kissat. When high-quality crates choose rustsat, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Version Adoption
Release Timeline
Feature Flags
default =["optimization", "fxhash"]
