Package: python-logical-unification @ 0.4.3

Synopsis

Logical unification in Python for solving symbolic expressions

Description

This library provides algorithms and data types for solving symbolic expressions in pure Python using the technique of logical unification.

Home page

https://github.com/pythological/unification/

Location

gnu/packages/python-xyz.scm (line: 27663, column: 2)

License

System	Derivation	Build status
`x86_64-linux`	/gnu/store/zzvgshnbgywl5nx09rlncjs0xhggvwny-python-logical-unification-0.4.3.drv
`riscv64-linux`	/gnu/store/bfpyjblcfjrxhqh74vv3cb8wxbbwjhml-python-logical-unification-0.4.3.drv
`powerpc-linux`	/gnu/store/fplcpvc5xzlr5qxxm1fn04ci98bfiga0-python-logical-unification-0.4.3.drv
`powerpc64le-linux`	/gnu/store/35l8hmjcgn04xiswrcgzhmg4zgph6lac-python-logical-unification-0.4.3.drv	Succeeded
`mips64el-linux`	/gnu/store/mdp80gv4n4i7rwzgrkdvm0dgsxk0fcsd-python-logical-unification-0.4.3.drv
`i686-linux`	/gnu/store/6k1fwvy2dm315d39mgwlm0fs0yhph65k-python-logical-unification-0.4.3.drv	Succeeded
`i586-gnu`	/gnu/store/6sa8awp0r72rqy5j1g4cljwr6w437v2f-python-logical-unification-0.4.3.drv	Scheduled
`armhf-linux`	/gnu/store/qpqdvq102d6w6h8vs6fmpyr9ycy7x0wx-python-logical-unification-0.4.3.drv	Canceled Succeeded
`aarch64-linux`	/gnu/store/jvvsnvxnz1241v7mgpba7wpy9cn0awk3-python-logical-unification-0.4.3.drv	Succeeded