mjo@gentoo.org frp.bissey@gmail.com François Bissey proxy-maint@gentoo.org Proxy Maintainers 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. BRiAl/BRiAl