Decision Workspace
exec-sat vs cnfgen vs cnfgen2
Side-by-side comparison of Rust crates
44
exec-sat
growingv0.1.2
Executes SAT solver and parses SAT solver output
50
cnfgen
growingv0.6.2
Generate DIMACS CNF formula from operations
46
cnfgen2
experimentalv0.1.1
Generate DIMACS CNF formula from operations (second version)
Core Metrics
| exec-sat | cnfgen | cnfgen2 | |
|---|---|---|---|
| Health Score | 44 | 50 | 46 |
| Total Downloads | 4.1K | 643.4K | 46 |
| 30d Downloads | 25 | 628.4K | 4 |
| Dependents | 2 | 15 | 0 |
| Releases | 3 | 17 | 2 |
| Last Updated | 404d ago | 404d ago | 103d ago |
| Age | 3y 5m | 3y 5m | 3m |
Health Breakdown
exec-sat
Maintenance
5
Quality
15
Community
7
Popularity
4
Documentation
13
cnfgen
Maintenance
7
Quality
14
Community
9
Popularity
7
Documentation
13
cnfgen2
Maintenance
12
Quality
13
Community
6
Popularity
2
Documentation
13
Technical Details
| exec-sat | cnfgen | cnfgen2 | |
|---|---|---|---|
| Version | 0.1.2 | 0.6.2 | 0.1.1 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | LGPL-2.1-or-later | Apache-2.0 | Apache-2.0 |
| Dependencies | 1 | 3 | 3 |
| Crate Size | 13KB | 105KB | 106KB |
| Features | 0 | 0 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •cnfgen leads with a health score of 50/100, but none of the options score above 80.
- •⚠ exec-sat, cnfgen have not been updated in over a year.