symbolic-mgu

v0.1.0-alpha.15crates.io· Rust

Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for exploring automated proof discovery.

The verdict

Maintained. Niche but maintained, actively maintained.

Live from the crates.io registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityNiche

SecurityClean

LicensePermissive

DepsZero deps

Maintenance

Last published 5 months ago.

Popularity

1 downloads / week

Security

No known advisories for this version (OSV).

License

Apache-2.0 OR MIT

Dependencies

No runtime dependencies

Recent releases