An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
Primary LanguageRustApache License 2.0Apache-2.0