dev-python / logical-unification

Logical unification in Python

Official package sites : https://github.com/pythological/unification/ · https://pypi.org/project/logical-unification/ ·

v0.4.5 :: 0 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~arm ~arm64 ~riscv
USE flags
test

General

test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

python_targets

python3_10
Build with Python 3.10
python3_8
Build with Python 3.8
python3_9
Build with Python 3.9

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-python / multipledispatch : Multiple dispatch

dev-python / toolz : List processing tools and functional utilities

dev-python / aesara : Library for operating on mathematical expressions with multi-dimensional arrays

dev-python / cons : Implementation of Lisp/Scheme-like cons in Python

dev-python / minikanren : Relational programming in Python

Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-python/logical-unification: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-python/logical-unification: Stabilize 0.4.5 ALLARCHES, #834194
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/logical-unification: add 0.4.5
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/logical-unification: Stabilize 0.4.4 x86, #830122
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-python/logical-unification: Stabilize 0.4.4 amd64, #830122
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alex Fan · gentoo
dev-python/logical-unification: keyword 0.4.4 for ~riscv #828965
Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/logical-unification: Keyword 0.4.4 arm64, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-python/logical-unification: Keyword 0.4.4 arm, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/logical-unification: Keyword 0.4.4 x86, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/logical-unification: new dep of dev-python/cons, add 0.4.4
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> Signed-off-by: Michał Górny <mgorny@gentoo.org>