math/py-logical-unification 0.4.7
Logical unification in Python
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- BSD3CLAUSE
- Categories
- math, python
- Package size
- 24.2 KiB, 97.5 KiB installed
Description
Logical unification in Python, extensible via dispatch.
In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions.
Install
As a binary package — by origin, or by package name:
pkg install math/py-logical-unification
pkg install py312-logical-unificationFrom the ports tree:
cd /usr/ports/math/py-logical-unification/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-logical-unification>0:math/py-logical-unificationPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.4.7 | 0.4.7 | - | 0.4.6_1 | 0.4.7 |
| FreeBSD:14:quarterly | 0.4.7 | 0.4.7 | n/a | 0.4.6_1 | 0.4.7 |
| FreeBSD:15:latest | 0.4.7 | 0.4.7 | n/a | 0.4.6_1 | 0.4.6_1 |
| FreeBSD:15:quarterly | 0.4.7 | 0.4.7 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.4.7 | 0.4.7 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 3
${PYTHON_PKGNAMEPREFIX}setuptools>=0: devel/py-setuptools${PYTHON_PKGNAMEPREFIX}setuptools-scm>=0: devel/py-setuptools-scm${PYTHON_PKGNAMEPREFIX}wheel>=0: devel/py-wheel
Runtime 2
${PYTHON_PKGNAMEPREFIX}multipledispatch>0: devel/py-multipledispatch${PYTHON_PKGNAMEPREFIX}toolz>0: devel/py-toolz
Test 1
${PYTHON_PKGNAMEPREFIX}pytest-benchmark>0: devel/py-pytest-benchmark
The full lists below include those, and their dependencies in turn.
All build dependencies 17
All run dependencies 9
Configuration
No options to configure.
- USES
- python
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| pythological-unification-v0.4.7_GH0.tar.gz | 24199 | 82fd074925ed0ba7674228a4c9a07611ab90e55ba1e266a9d24811ab5656618d |
Commit history 0
No commits in the history this site was built from.