mirror of
https://git.freebsd.org/ports.git
synced 2026-06-02 11:08:52 +00:00
Yuri Victorovich
5 lines
177 B
Plaintext
5 lines
177 B
Plaintext
Logical unification in Python, extensible via dispatch.
|
|
|
|
In logic and computer science, unification is an algorithmic process of solving
|
|
equations between symbolic expressions.
|