BSD Ports

math/py-logical-unification 0.4.6_1 DragonFly

Logical unification in Python

System
DragonFly
Repository
DPorts
Maintainer
[email protected] (as in FreeBSD)
License
BSD3CLAUSE
Categories
math, python
Package size
22.7 KiB, 106.8 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.

In the other systems

SystemPortVersion
DragonFlymath/py-logical-unification0.4.6_1
FreeBSDmath/py-logical-unification0.4.7
HardenedBSDmath/py-logical-unification0.4.7
GhostBSDmath/py-logical-unification0.4.7

Install

Binary package:

pkg install py311-logical-unification

From DPorts:

cd /usr/dports/math/py-logical-unification && make install clean

Dependencies

Run dependencies 3