Decision Workspace
elenchus-solver vs elenchus-compiler vs elenchus-parser
Side-by-side comparison of Rust crates
53
elenchus-solver
experimentalv0.15.0
Forward-pass inference interpreter for elenchus: 3-valued Kleene evaluation of the Impossible/CNF clause IR into CONFLICT / WARNING / CONSISTENT results.
54
elenchus-compiler
experimentalv0.15.0
Compiles parsed elenchus DSL into a canonical Impossible/CNF clause IR: import resolution, desugaring, atom interning, content-addressed dedup.
51
elenchus-parser
experimentalv0.15.0
English-like DSL parser for the elenchus consistency checker (facts, premises, rules, checks).
Core Metrics
| elenchus-solver | elenchus-compiler | elenchus-parser | |
|---|---|---|---|
| Health Score | 53 | 54 | 51 |
| Total Downloads | 477 | 536 | 577 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 44 | 44 | 22 |
| Releases | 22 | 22 | 22 |
| Last Updated | 9d ago | 9d ago | 9d ago |
| Age | 25d | 25d | 25d |
Health Breakdown
elenchus-solver
Maintenance
15
Quality
14
Community
11
Popularity
3
Documentation
10
elenchus-compiler
Maintenance
15
Quality
15
Community
11
Popularity
3
Documentation
10
elenchus-parser
Maintenance
15
Quality
13
Community
10
Popularity
3
Documentation
10
Technical Details
| elenchus-solver | elenchus-compiler | elenchus-parser | |
|---|---|---|---|
| Version | 0.15.0 | 0.15.0 | 0.15.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT |
| Dependencies | 5 | 4 | 4 |
| Crate Size | 121KB | 73KB | 51KB |
| Features | 2 | 2 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •elenchus-compiler leads with a health score of 54/100, but none of the options score above 80.
- •elenchus-parser has the most downloads (577), suggesting wider adoption.