brial
The Polynomials over Boolean Rings Computer Algebra System
PolyBoRi/BRiAl is a special purpose computer algebra system for computations in Boolean Rings. The core is a C++ library, which provides high-level data types for Boolean polynomials and related structures. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures.
Для openSUSE Leap 15.6 нет официального пакетаДистрибутивы
openSUSE Tumbleweed
openSUSE Leap 15.6
openSUSE Leap 15.5
SLFO_Main
openSUSE Backports for SLE 15 SP4
SUSE SLE-15-SP2
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.