This library contains unification, matching, and anti-unification algorithms in various theories.
Supported by the Austrian Science Fund (FWF), projects P 24087, P 28789, and P 35530.