Packages tagged unification

3 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
RSolve512.0 (language, library, logic, mit, program, unification)2019-08-05ice1000
monad-unify760.0Generic first-order unification (library, mit, unification)2014-04-15PhilFreeman
unification-fd1692.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton