Decision Workspace
pigeons vs rustsat vs pindakaas-kissat
Side-by-side comparison of Rust crates
56
pigeons
experimentalv0.2.3
A library for writing VeriPB proofs
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.
58
pindakaas-kissat
experimentalv0.2.2
build of the Kissat SAT solver for the pindakaas crate
Core Metrics
| pigeons | rustsat | pindakaas-kissat | |
|---|---|---|---|
| Health Score | 56 | 57 | 58 |
| Total Downloads | 4.0K | 61.7K | 1.1K |
| 30d Downloads | 118 | 2.5K | 41 |
| Dependents | 15 | 321 | 8 |
| Releases | 7 | 25 | 4 |
| Last Updated | 56d ago | 56d ago | 34d ago |
| Age | 12m | 2y 8m | 8m |
Health Breakdown
pigeons
Maintenance
19
Quality
15
Community
6
Popularity
4
Documentation
12
rustsat
Maintenance
17
Quality
12
Community
10
Popularity
6
Documentation
12
pindakaas-kissat
Maintenance
22
Quality
13
Community
9
Popularity
4
Documentation
10
Technical Details
| pigeons | rustsat | pindakaas-kissat | |
|---|---|---|---|
| Version | 0.2.3 | 0.7.5 | 0.2.2 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT |
| Dependencies | 4 | 20 | 1 |
| Crate Size | 17KB | 243KB | 231KB |
| Features | 4 | 14 | 0 |
| Yanked % | 0.0% | 8.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.75.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.