ena

Releases27

Frequency4 months 1 week

Last Release5 months ago

Downloads67.9M

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

Subscribe above to receive notifications when new versions are released.

27 releases

Version	Date	Stability Stability is determined by the version string and may be inaccurate.
0.14.4	Feb 10, 2026Tuesday, 10 February 2026, 23:17	Stable
0.14.3	May 6, 2024Monday, 6 May 2024, 18:25	Stable
0.14.2	Mar 17, 2023Friday, 17 March 2023, 08:35	Stable
0.14.1	Feb 23, 2023Thursday, 23 February 2023, 20:29	Stable
0.14.0	Apr 10, 2020Friday, 10 April 2020, 19:06	Stable
0.13.1	Sep 19, 2019Thursday, 19 September 2019, 23:06	Stable
0.13.0	Mar 25, 2019Monday, 25 March 2019, 13:57	Stable
0.12.0	Mar 19, 2019Tuesday, 19 March 2019, 14:34	Stable
0.11.0	Nov 14, 2018Wednesday, 14 November 2018, 21:35	Stable
0.10.1	Sep 7, 2018Friday, 7 September 2018, 19:18	Stable
0.9.3	May 18, 2018Friday, 18 May 2018, 19:23	Stable
0.9.2	Mar 5, 2018Monday, 5 March 2018, 21:21	Stable
0.9.1	Feb 28, 2018Wednesday, 28 February 2018, 17:35	Stable
0.8.1	Feb 28, 2018Wednesday, 28 February 2018, 17:25	Stable
0.9.0	Feb 9, 2018Friday, 9 February 2018, 23:51	Stable
0.8.0	Oct 31, 2017Tuesday, 31 October 2017, 09:25	Stable
0.7.3	Jul 16, 2017Sunday, 16 July 2017, 11:39	Stable
0.7.2	Jul 16, 2017Sunday, 16 July 2017, 11:29	Stable
0.7.1	Jul 16, 2017Sunday, 16 July 2017, 10:57	Stable
0.7.0	Jul 16, 2017Sunday, 16 July 2017, 10:38	Stable
0.6.0	Jul 16, 2017Sunday, 16 July 2017, 09:54	Stable
0.5.0	Mar 6, 2017Monday, 6 March 2017, 09:58	Stable
0.4.0	Dec 14, 2016Wednesday, 14 December 2016, 17:47	Stable
0.3.0	Oct 27, 2016Thursday, 27 October 2016, 09:49	Stable
0.2.0	Oct 27, 2016Thursday, 27 October 2016, 09:40	Stable