BurntPizza/ena
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for indepdendent experimentation.
RustApache-2.0
No issues in this repository yet.
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for indepdendent experimentation.
RustApache-2.0
No issues in this repository yet.