CMD + K

logical-unification

Anaconda Verified

Logical unification in Python.

Installation

To install this package, run one of the following:

Conda
$conda install main::logical-unification

Usage Tracking

0.4.7
0.4.6
2 / 8 versions selected
Downloads (Last 6 months): 0

Description

Straightforward Unification, extensible via dispatch. This project has been forked from https://github.com/mrocklin/unification.

About

Summary

Logical unification in Python.

Last Updated

Oct 31, 2025 at 12:25

License

BSD-3-Clause

Total Downloads

999

Supported Platforms

linux-aarch64
macOS-arm64
linux-64
win-64

Unsupported Platforms

linux-ppc64le Last supported version: 0.4.6
linux-s390x Last supported version: 0.4.6
macOS-64 Last supported version: 0.4.6