brial
BRiAl (Boolean Ring Algebra) is the successor to PolyBoRi
Build for armv6l-musl, version 1.2.12_1. 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:
- 2023-02-15 14:50
- Source files:
- https://github.com/BRiAl/BRiAl/releases/download/1.2.12/brial-1.2.12.tar.bz2
- Installed size:
- 3.50 MiB
- Popularity:
- No usages in 88 reports
- Provided shlibs:
- libbrial.so.3
- libbrial_groebner.so.3
- Depending on: