Home/math/py311-logical-unification

py311-logical-unification

0.4.6_1math

Logical unification in Python

Logical unification in Python, extensible via dispatch. In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions.

$pkg install py311-logical-unification

github.com/pythological/unification ↗

Origin

math/py-logical-unification

Size

107KiB

License

BSD3CLAUSE

Maintainer

yuri@FreeBSD.org

Dependencies

3 packages

Required by

3 packages

Dependencies (3)

python311 py311-toolz py311-multipledispatch

Required By (3)

py311-cons py311-miniKanren py311-pytensor