Brial - successor to PolyBoRi


Info: This package contains files in non-standard labels.

conda install

  • linux-64  v1.2.5
  • osx-64  v1.2.5
To install this package with conda run one of the following:
conda install -c conda-forge libbrial
conda install -c conda-forge/label/gcc7 libbrial
conda install -c conda-forge/label/cf201901 libbrial


The core of PolyBoRi 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. On top of this C++-library we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation.

PRIVACY POLICY  |  EULA (Anaconda Cloud v2.33.29) © 2019 Anaconda, Inc. All Rights Reserved.