rust-ena 0.13.1 Union-find, congruence closure, and other unification code
This package provides an implementation of union-find / congruence-closure in Rust. It was extracted from rustc for independent experimentation.
- Website: https://github.com/rust-lang/ena
- License: Expat, ASL 2.0
- Package source: crates-io.scm
- Patches: None
- Builds: x86_64-linux, i686-linux