Home/math/py311-logical-unification

py311-logical-unification

0.4.6_1

Logical unification in Python

Logical unification in Python, extensible via dispatch. In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions.

Origin: math/py-logical-unification

Category: math

Size: 107KiB

License: BSD3CLAUSE

Maintainer: yuri@FreeBSD.org

Dependencies: 3 packages

Required by: 3 packages

Website: github.com/pythological/unification

$pkg install py311-logical-unification

Dependencies (3)

python311 py311-toolz py311-multipledispatch

Required By (3 packages)

py311-cons py311-miniKanren py311-pytensor

More in math

py311-numpy1.26.4_11,1

The New Numeric Extension to Python

R4.5.2

Language for statistical computing and graphics

gmp6.3.0

Free library for arbitrary precision arithmetic

openblas0.3.30,2

Optimized BLAS library based on GotoBLAS2

fftw33.3.10_5

Fast C routines to compute the Discrete Fourier Transform

py311-matplotlib3.8.0_2

Plotting library uses a syntax familiar to MATLAB users

py311-pandas2.3.3,1

Flexible, high-performance data analysis in Python

mpfr4.2.2,1

Library for multiple-precision floating-point computations

octave10.3.0_2

High-level interactive language for numerical computations

octave-forge-base1.9_1

Octave-forge baseport for all packages