Packages tagged unification

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (2), algebra (1), algorithms (1), bsd3 (1), compilers-interpreters (1), language (1), logic (1), mit (1)

Name
DLs
Rating
Description
Tags
Maintainer
monad-unify60.0Generic first-order unification (library, mit, unification)PhilFreeman
unification-fd162.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)WrenThornton