Full description
BRiAl is a C++ library (the successor to PolyBoRi) that 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.