Crates.io
Releases27
Frequency4 months 1 week
Last Release
Downloads64.6M
Union-find, congruence closure, and other unification code. Based on code from rustc.
Linked projects
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.