Crates.io
Releases27
Frequency4 months 1 week
Last Release
Downloads64.6M
Union-find, congruence closure, and other unification code. Based on code from rustc.
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.