Packages tagged unification

4 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
RSolve62.00 (library, logic, mit, program, unification)2019-08-052.0.0.0ice1000
hypertypes50.00Typed ASTs (algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-06-230.1.0.2YairChuchem
monad-unify120.02Generic first-order unification (library, mit, unification)2014-04-150.2.2PhilFreeman
unification-fd412.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano