6c6f506
# brial
6c6f506
6c6f506
The core of [BRiAl](https://github.com/BRiAl/BRiAl/) is a C++ library, which
6c6f506
provides high-level data types for Boolean polynomials and monomials, exponent
6c6f506
vectors, as well as for the underlying polynomial rings and subsets of the
6c6f506
powerset of the Boolean variables.  As a unique approach, binary decision
6c6f506
diagrams are used as internal storage type for polynomial structures.  On top
6c6f506
of this C++-library we provide a Python interface.  This allows parsing of
6c6f506
complex polynomial systems, as well as sophisticated and extendable strategies
6c6f506
for Gröbner base computation.  BRiAL features a powerful reference
6c6f506
implementation for Gröbner basis computation.