brial-devel

Development files for polybori, a CAS for Boolean Polynomials

The core of PolyBoRi/BRiAl 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. This subpackage contains the include files and library links for developing with polybori/brial libraries.

cloud_download Downloads