Union-find, congruence closure, and other unification code. Based on code from rustc.

Release History

Subscribe above to receive notifications when new versions are released.
Version Date Stability
0.14.2 Mar 17, 2023 stable
0.14.1 Feb 23, 2023 stable
0.14.0 Apr 10, 2020 stable
0.13.1 Sep 19, 2019 stable
0.13.0 Mar 25, 2019 stable
0.12.0 Mar 19, 2019 stable
0.11.0 Nov 14, 2018 stable
0.10.1 Sep 7, 2018 stable
0.9.3 May 18, 2018 stable
0.9.2 Mar 5, 2018 stable
0.9.1 Feb 28, 2018 stable
0.8.1 Feb 28, 2018 stable
0.9.0 Feb 9, 2018 stable
0.8.0 Oct 31, 2017 stable
0.7.3 Jul 16, 2017 stable
0.7.2 Jul 16, 2017 stable
0.7.1 Jul 16, 2017 stable
0.7.0 Jul 16, 2017 stable
0.6.0 Jul 16, 2017 stable
0.5.0 Mar 6, 2017 stable
0.4.0 Dec 14, 2016 stable
0.3.0 Oct 27, 2016 stable
0.2.0 Oct 27, 2016 stable
0.1.1 Oct 27, 2016 stable
0.1.0 Oct 22, 2016 stable