Decision Workspace
circuit_sat_check vs gatesim vs gategen
Side-by-side comparison of Rust crates
36
circuit_sat_check
growingv0.1.0
Simple utility to generate circuit checking to CNF formula.
49
gatesim
growingv0.1.1
The base library for the Gate Project.
49
gategen
growingv0.2.1
The library to generate Gate circuits.
Core Metrics
| circuit_sat_check | gatesim | gategen | |
|---|---|---|---|
| Health Score | 36 | 49 | 49 |
| Total Downloads | 781 | 3.5K | 1.8K |
| 30d Downloads | 3 | 254 | 112 |
| Dependents | 0 | 9 | 13 |
| Releases | 1 | 2 | 3 |
| Last Updated | 399d ago | 227d ago | 148d ago |
| Age | 1y 1m | 1y 1m | 1y 1m |
Health Breakdown
circuit_sat_check
Maintenance
2
Quality
15
Community
6
Popularity
3
Documentation
10
gatesim
Maintenance
8
Quality
15
Community
9
Popularity
4
Documentation
13
gategen
Maintenance
10
Quality
13
Community
9
Popularity
4
Documentation
13
Technical Details
| circuit_sat_check | gatesim | gategen | |
|---|---|---|---|
| Version | 0.1.0 | 0.1.1 | 0.2.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 2 | 2 | 5 |
| Crate Size | 7KB | 27KB | 105KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •gatesim leads with a health score of 49/100, but none of the options score above 80.
- •⚠ circuit_sat_check has not been updated in over a year.