Decision Workspace
rustsat-tools vs pindakaas-kissat vs rustsat
Side-by-side comparison of Rust crates
56
rustsat-tools
growingv0.7.5
Tools and examples built on the RustSAT library
58
pindakaas-kissat
experimentalv0.2.2
build of the Kissat SAT solver for the pindakaas crate
57
rustsat
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-tools | pindakaas-kissat | rustsat | |
|---|---|---|---|
| Health Score | 56 | 58 | 57 |
| Total Downloads | 19.9K | 1.1K | 61.7K |
| 30d Downloads | 55 | 43 | 2.5K |
| Dependents | 3 | 8 | 321 |
| Releases | 21 | 4 | 25 |
| Last Updated | 56d ago | 34d ago | 56d ago |
| Age | 2y 7m | 8m | 2y 8m |
Health Breakdown
rustsat-tools
Maintenance
19
Quality
15
Community
5
Popularity
5
Documentation
12
pindakaas-kissat
Maintenance
22
Quality
13
Community
9
Popularity
4
Documentation
10
rustsat
Maintenance
17
Quality
12
Community
10
Popularity
6
Documentation
12
Technical Details
| rustsat-tools | pindakaas-kissat | rustsat | |
|---|---|---|---|
| Version | 0.7.5 | 0.2.2 | 0.7.5 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT |
| Dependencies | 11 | 1 | 20 |
| Crate Size | 35KB | 231KB | 243KB |
| Features | 4 | 0 | 14 |
| Yanked % | 0.0% | 0.0% | 8.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.77.0 | — | 1.76.0 |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •pindakaas-kissat leads with a health score of 58/100, but none of the options score above 80.
- •rustsat has the most downloads (61.7K), suggesting wider adoption.
- •rustsat is depended on by 321 crates — strongest ecosystem trust.