Port details
py-logical-unification Logical unification in Python
0.4.7 math Σ 0.4.7Version of this port present on the latest quarterly branch. Maintainer: yuri@FreeBSD.org Port Added: 2023-06-21 01:36:03Last Update: 2026-06-07 01:30:06Commit Hash: 340b7d5 Also Listed In: python License: BSD3CLAUSEWWW: https://github.com/pythological/unification/ Description: # Logical unification in Python, extensible via dispatch.
In logic and computer science, unification is an algorithmic process of solving
equations between symbolic expressions. Manual pages: # FreshPorts has no man page information for this port.
pkg-plist: make generate-plist # There is no configure plist information for this port. USE_RC_SUBR (Service Scripts)
no SUBR information found for this port
Dependency lines :
${PYTHON_PKGNAMEPREFIX}logical-unification>0:math/py-logical-unification@${PY_FLAVOR} To install the port : # cd /usr/ports/math/py-logical-unification/ && make install clean To add the package , run one of these commands: pkg install math/py-logical-unification pkg install py311-logical-unification py311-logical-unification listed in the above command, you can pick from the names under the Packages section.PKGNAME: py311-logical-unification Package flavors (<flavor>: <package> ) # py311: py311-logical-unification distinfo: # TIMESTAMP = 1780789395
SHA256 (pythological-unification-v0.4.7_GH0.tar.gz) = 82fd074925ed0ba7674228a4c9a07611ab90e55ba1e266a9d24811ab5656618d
SIZE (pythological-unification-v0.4.7_GH0.tar.gz) = 24199
Packages (timestamps in pop-ups are UTC): #
Dependencies # NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered. Build dependencies: #
py311-setuptools>=0 : devel/py-setuptools@py311 py311-setuptools-scm>=0 : devel/py-setuptools-scm@py311 py311-wheel>=0 : devel/py-wheel@py311 python3.11 : lang/python311 py311-build>=0 : devel/py-build@py311 py311-installer>=0 : devel/py-installer@py311
Test dependencies: #
py311-pytest-benchmark>0 : devel/py-pytest-benchmark@py311 py311-pytest>=7,1 : devel/py-pytest@py311 python3.11 : lang/python311
Runtime dependencies: #
py311-multipledispatch>0 : devel/py-multipledispatch@py311 py311-toolz>0 : devel/py-toolz@py311 python3.11 : lang/python311
This port is required by: # for Run #
devel/py-cons devel/py-miniKanren math/py-pytensor Configuration Options : # No options to configure Options name : # math_py-logical-unification USES: # python
FreshPorts was unable to extract/find any pkg message # Master Sites: #
Number of commits found: 4 #
Commit History - (may be incomplete: for full details, see links to repositories near top of page) Commit Credits Log message 0.4.7 Yuri Victorovich (yuri) math/py-logical-unification: update 0.4.6 → 0.4.7 0.4.6_1 Charlie Li (vishwin) python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removal
Any missed ports, feel free to bump.
Any ports that need setuptools at runtime can have the devel/py-setuptools
manually added back to RUN_DEPENDS, but understand that this practice
is deprecated; see CHANGES for details. 0.4.6 Po-Chuan Hsieh (sunpoet) math/py-logical-unification: Clean up USES=python
Approved by: portmgr (blanket)
With hat: python 0.4.6 Yuri Victorovich (yuri) math/py-logical-unification: New port: Logical unification in Python
Number of commits found: 4
