Logical Unification | Anaconda.org

anaconda / 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/
583 total downloads
Last upload: 1 month and 15 days ago

Installers

linux-s390x v0.4.6
linux-64 v0.4.6
osx-arm64 v0.4.6
osx-64 v0.4.6
linux-aarch64 v0.4.6
win-64 v0.4.6
linux-ppc64le v0.4.6

conda install

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

Description

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

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy