brial

BRiAl (Boolean Ring Algebra) is the successor to PolyBoRi

Details

Homepage:

https://github.com/BRiAl/BRiAl

License:

GPL-2.0-or-later

Maintainer:

Gonzalo Tornaría

Changelog:

https://github.com/BRiAl/BRiAl/releases

Built at:

2025-08-20 01:01 - 2025-08-20 01:41

Installed size:

3.49 MiB - 3.70 MiB

Popularity:

No usages in 121 reports

Provided shlibs:

• libbrial.so.3
• libbrial_groebner.so.3

Depending on:

• glibc>=2.41_{_1}
• libatomic>=4.9.0_{_1}
• libgcc>=4.4.0_{_1}
• libpng>=1.6.2_{_1}
• libstdc++>=4.4.0_{_1}
• m4ri>=20250128_{_1}
• musl1.1>=1.1.24_{_8}
• musl>=1.2.5_{_1}