brial 1.2.8 Arithmetic of polynomials over boolean rings
BRiAl is the successor to PolyBoRi maintained by the Sage community. Its core is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures.
- Website: https://github.com/BRiAl/BRiAl/
- License: GPL 2+
- Package source: sagemath.scm
- Patches: None
- Builds: x86_64-linux, i686-linux