v0.2.7
Unify: a unification tool with a deep equivalence and partitioning of objects.
Source code on GitHub