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:

2023-02-15 14:35 - 2023-02-16 07:34

Source files:

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

Installed size:

3.50 MiB - 3.73 MiB

Popularity:

No usages in 100 reports

Provided shlibs:

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

Depending on:

• glibc>=2.36_{_1}
• libgcc>=4.4.0_{_1}
• libpng>=1.6.2_{_1}
• libstdc++>=4.4.0_{_1}
• m4ri>=20200125_{_1}
• musl>=1.1.24_{_7}