Decision Workspace
sat_toasty_helper vs pindakaas-kissat vs rustsat
Side-by-side comparison of Rust crates
37
sat_toasty_helper
growingv0.0.4
A utility library for more-easily writing SAT constraints.
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
| sat_toasty_helper | pindakaas-kissat | rustsat | |
|---|---|---|---|
| Health Score | 37 | 58 | 57 |
| Total Downloads | 4.3K | 1.1K | 61.7K |
| 30d Downloads | 7 | 41 | 2.5K |
| Dependents | 0 | 8 | 321 |
| Releases | 4 | 4 | 25 |
| Last Updated | 167d ago | 34d ago | 56d ago |
| Age | 2y | 8m | 2y 8m |
Health Breakdown
sat_toasty_helper
Maintenance
9
Quality
15
Community
2
Popularity
4
Documentation
7
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
| sat_toasty_helper | pindakaas-kissat | rustsat | |
|---|---|---|---|
| Version | 0.0.4 | 0.2.2 | 0.7.5 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT | MIT |
| Dependencies | 1 | 1 | 20 |
| Crate Size | 6KB | 231KB | 243KB |
| Features | 0 | 0 | 14 |
| Yanked % | 0.0% | 0.0% | 8.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | 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.