Decision Workspace
naivesat vs gatesim vs gategen
Side-by-side comparison of Rust crates
45
naivesat
growingv0.1.3
Few solvers that uses the Gate project.
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
| naivesat | gatesim | gategen | |
|---|---|---|---|
| Health Score | 45 | 49 | 49 |
| Total Downloads | 1.7K | 3.5K | 1.8K |
| 30d Downloads | 6 | 269 | 118 |
| Dependents | 0 | 9 | 13 |
| Releases | 4 | 2 | 3 |
| Last Updated | 145d ago | 227d ago | 148d ago |
| Age | 1y 1m | 1y 1m | 1y 1m |
Health Breakdown
naivesat
Maintenance
11
Quality
14
Community
6
Popularity
4
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
| naivesat | gatesim | gategen | |
|---|---|---|---|
| Version | 0.1.3 | 0.1.1 | 0.2.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | Apache-2.0 | Apache-2.0 |
| Dependencies | 4 | 2 | 5 |
| Crate Size | 63KB | 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.