sagemath_brial: Boolean Ring Algebra with BRiAl

This pip-installable source distribution passagemath-brial provides a Boolean Ring Algebra implementation using binary decision diagrams, implemented by the BRiAl library, the successor to PolyBoRi.

Type

standard

Dependencies

Version Information

package-version.txt:

10.6.29

version_requirements.txt:

passagemath-brial ~= 10.6.29.0

Installation commands

$ pip install passagemath-brial~=10.6.29.0
$ sage -i sagemath_brial

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see upstream Issue #27330 for more information.