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 100 reports
Provided shlibs:
  • libbrial.so.3
  • libbrial_groebner.so.3
Depending on: