rust-lang/ena

rust-lang/ena

Releases16
Frequency2 months 2 weeks
Last Release
Stars170
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

Linked projects

Union-find, congruence closure, and other unification code. Based on code from rustc.