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 | Stable | |
| 0.14.1 | Stable | |
| 0.14.0 | Stable | |
| 0.13.1 | Stable | |
| 0.13.0 | Stable | |
| 0.12.0 | Stable | |
| 0.11.0 | Stable | |
| 0.10.1 | Stable | |
| 0.9.3 | Stable | |
| 0.9.2 | Stable | |
| 0.9.1 | Stable | |
| 0.8.1 | Stable | |
| 0.9.0 | Stable | |
| 0.8.0 | Stable | |
| 0.7.3 | Stable | |
| 0.7.2 | Stable | |
| 0.7.1 | Stable | |
| 0.7.0 | Stable | |
| 0.6.0 | Stable | |
| 0.5.0 | Stable | |
| 0.4.0 | Stable | |
| 0.3.0 | Stable | |
| 0.2.0 | Stable | |
| 0.1.1 | Stable | |
| 0.1.0 | Stable |