brial
BRiAl (Boolean Ring Algebra) is the successor to PolyBoRi
Build for armv6l-glibc, version 1.2.12_2. Builds for all architectures.
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
- Installed size:
- 3.55 MiB
- Popularity:
- No usages in 119 reports
- Provided shlibs:
- libbrial.so.3
- libbrial_groebner.so.3
- Depending on: