Logical Unification | Anaconda.org

AnacondaProserve / packages / logical-unification 0.4.6

0

Logical unification in Python.

License: BSD-3-Clause
Home: https://github.com/pythological/unification
Development: https://github.com/pythological/unification
Documentation: https://github.com/pythological/unification/
0 total downloads
Last upload: 5 months and 27 days ago

Installers

linux-64 v0.4.6

conda install

To install this package run one of the following:
conda install anacondaproserve::logical-unification

Description

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

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy