CMD + K

logical-unification

Community

Logical unification in Python.

Installation

To install this package, run one of the following:

Conda
$conda install anaconda-python-gte-3.10::logical-unification

Usage Tracking

0.4.6
1 / 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

Mar 31, 2025 at 22:33

License

BSD-3-Clause

Total Downloads

3

Version Downloads

3

Supported Platforms

linux-64