Decision Workspace
symbolic-mgu vs nu_plugin_logic vs predicates
Side-by-side comparison of Rust crates
48
symbolic-mgu
experimentalv0.1.0-alpha.15
Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for exploring automated proof discovery.
44
nu_plugin_logic
experimentalv0.1.1
Prolog-style pattern matching and relational search for Nushell
77
predicates
stablev3.1.4
An implementation of boolean-valued predicate functions.
Core Metrics
| symbolic-mgu | nu_plugin_logic | predicates | |
|---|---|---|---|
| Health Score | 48 | 44 | 77 |
| Total Downloads | 827 | 24 | 147.2M |
| 30d Downloads | 18 | 24 | 10.9M |
| Dependents | 0 | 0 | 24.1K |
| Releases | 15 | 2 | 37 |
| Last Updated | 80d ago | 8d ago | 44d ago |
| Age | 5m | 8d | 8y 10m |
Health Breakdown
symbolic-mgu
Maintenance
15
Quality
13
Community
6
Popularity
3
Documentation
11
nu_plugin_logic
Maintenance
13
Quality
14
Community
5
Popularity
2
Documentation
10
predicates
Maintenance
16
Quality
21
Community
17
Popularity
8
Documentation
15
Technical Details
| symbolic-mgu | nu_plugin_logic | predicates | |
|---|---|---|---|
| Version | 0.1.0-alpha.15 | 0.1.1 | 3.1.4 |
| Stable (≥1.0) | ✗ No | ✗ No | ✓ Yes |
| License | MIT OR Apache-2.0 | MIT | MIT OR Apache-2.0 |
| Dependencies | 13 | 3 | 7 |
| Crate Size | 427KB | 37KB | 24KB |
| Features | 3 | 0 | 4 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2018 | 2024 | 2021 |
| MSRV | 1.77.0 | — | 1.74 |
| Owners | 1 | 1 | 2 |
Links
Quick Verdict
- •predicates leads with a health score of 77/100, but none of the options score above 80.
- •predicates is depended on by 24.1K crates — strongest ecosystem trust.
- •symbolic-mgu, nu_plugin_logic are pre-1.0 — API may change.