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
- ✓Actively maintained (updated 56d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 321 crates
- ✓Permissive license (MIT)
Security
Deep Insights
2.7K downloads in the last 30 days (89/day), up 23% from the previous period.
321 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-kissat, rustsat-glucose. 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"]
