rustio rustio.net

Decision Workspace

symbolic-mgu

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.

Core Metrics

symbolic-mgu
Health Score48
Total Downloads827
30d Downloads18
Dependents0
Releases15
Last Updated80d ago
Age5m

Health Breakdown

symbolic-mgu
Maintenance
15
Quality
13
Community
6
Popularity
3
Documentation
11

Technical Details

symbolic-mgu
Version0.1.0-alpha.15
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies13
Crate Size427KB
Features3
Yanked %0.0%
Edition2018
MSRV1.77.0
Owners1

Links

symbolic-mgu detail →GitHub ↗crates.io ↗

Quick Verdict

  • •symbolic-mgu leads with a health score of 48/100, but none of the options score above 80.