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-02-05 11:03 - 2025-02-05 22:43

Source files:

https://github.com/BRiAl/BRiAl/releases/download/1.2.12/brial-1.2.12.tar.bz2

Installed size:

3.55 MiB - 3.74 MiB

Popularity:

No usages in 96 reports

Provided shlibs:

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

Depending on:

• glibc>=2.39_{_1}
• libatomic>=4.9.0_{_1}
• libgcc>=4.4.0_{_1}
• libpng>=1.6.2_{_1}
• libstdc++>=4.4.0_{_1}
• m4ri>=20250128_{_1}
• musl>=1.1.24_{_7}