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:

2026-02-11 19:06 - 2026-02-11 20:25

Installed size:

3.49 MiB - 3.70 MiB

Popularity:

No usages in 118 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>=20260122_{_1}
• musl1.1>=1.1.24_{_8}
• musl>=1.2.5_{_1}