Decision Workspace
logic-parser vs mrs-tptp vs elenchus-parser
Side-by-side comparison of Rust crates
47
logic-parser
growingv1.3.0
A simple lexer & parser for logical expressions that supports output as AST, JSON and SVG
55
mrs-tptp
experimentalv0.1.9
A robust TPTP parser for Rust using winnow
51
elenchus-parser
experimentalv0.15.0
English-like DSL parser for the elenchus consistency checker (facts, premises, rules, checks).
Core Metrics
| logic-parser | mrs-tptp | elenchus-parser | |
|---|---|---|---|
| Health Score | 47 | 55 | 51 |
| Total Downloads | 6.9K | 137 | 577 |
| 30d Downloads | 0 | 0 | 0 |
| Dependents | 0 | 8 | 22 |
| Releases | 5 | 4 | 22 |
| Last Updated | 1012d ago | 21d ago | 9d ago |
| Age | 2y 9m | 1m | 25d |
Health Breakdown
logic-parser
Maintenance
8
Quality
21
Community
3
Popularity
5
Documentation
10
mrs-tptp
Maintenance
12
Quality
16
Community
9
Popularity
3
Documentation
15
elenchus-parser
Maintenance
15
Quality
13
Community
10
Popularity
3
Documentation
10
Technical Details
| logic-parser | mrs-tptp | elenchus-parser | |
|---|---|---|---|
| Version | 1.3.0 | 0.1.9 | 0.15.0 |
| Stable (≥1.0) | ✓ Yes | ✗ No | ✗ No |
| License | MIT OR GPL-2.0-or-later | MIT OR Apache-2.0 | MIT |
| Dependencies | 4 | 3 | 4 |
| Crate Size | 80KB | 93KB | 51KB |
| Features | 3 | 4 | 0 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2024 | 2024 |
| MSRV | — | 1.95 | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •mrs-tptp leads with a health score of 55/100, but none of the options score above 80.
- •logic-parser has the most downloads (6.9K), suggesting wider adoption.
- •⚠ logic-parser has not been updated in over a year.
- •mrs-tptp, elenchus-parser are pre-1.0 — API may change.