Simple generic unification algorithms.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.10.0.1-bp150.2.3 info | GA Release | 2018-08-01 | 15 |
|
|
| 0.10.0.1-bp150.2.7 info | GA Release | 2018-07-31 | 15 |
|
|
| 0.10.0.1-bp150.2.6 info | GA Release | 2018-07-30 | 15 |
|
|