gitmyhub

ena

Rust ★ 170 updated 4mo ago

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

No plain-English explanation yet — one is being written right now. Check back in a minute.