pkg-descr « py-logical-unification « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/py-logical-unification/pkg-descr

blob: 02215967755e8d058250946307061471f2ee154f (plain) (blame)

Logical unification in Python, extensible via dispatch.

In logic and computer science, unification is an algorithmic process of solving
equations between symbolic expressions.