brial - Framework for Boolean Rings

Property Value
Distribution Fedora 25
Repository Fedora i386
Package name brial
Package version 0.8.5
Package release 4.fc25
Package architecture i686
Package type rpm
Installed size 3.88 MB
Download size 750.71 KB
Official Mirror
The core of BRiAl is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as well
as for the underlying polynomial rings and subsets of the powerset of
the Boolean variables. As a unique approach, binary decision diagrams
are used as internal storage type for polynomial structures. On top of
this C++-library we provide a Python interface. This allows parsing of
complex polynomial systems, as well as sophisticated and extendable
strategies for Gröbner base computation. BRiAL features a powerful
reference implementation for Gröbner basis computation.


Package Version Architecture Repository
brial-0.8.5-4.fc25.i686.rpm 0.8.5 i686 Fedora
brial-0.8.5-4.fc25.x86_64.rpm 0.8.5 x86_64 Fedora
brial - - -


Name Value
/sbin/ldconfig - - - - - - - - - - - - - - -
rtld(GNU_HASH) -


Name Value
brial = 0.8.5-4.fc25
brial(x86-32) = 0.8.5-4.fc25
bundled(cudd) = 2.5.0 - -
polybori = 0.8.5-4.fc25
polybori-docs <= 0.8.5-1
polybori-gui <= 0.8.5-1
polybori-ipbori <= 0.8.5-1
polybori-static <= 0.8.5-1


Name Value
polybori <= 0.8.5-1
polybori-docs <= 0.8.5-1
polybori-gui <= 0.8.5-1
polybori-ipbori <= 0.8.5-1
polybori-static <= 0.8.5-1


Type URL
Binary Package brial-0.8.5-4.fc25.i686.rpm
Source Package brial-0.8.5-4.fc25.src.rpm

Install Howto

Install the brial rpm package:

# dnf install brial




2016-08-18 - pcpa <> 0.8.5-4
- Add Provides/Obsoletes to remaining polybori packages (#1367526#c6)
2016-08-17 - pcpa <> 0.8.5-3
- Correct summary to talk about BRiAl and not PolyBori (#1367526#c4)
2016-08-16 - pcpa <> 0.8.5-2
- Correct setting of CXXFLAGS (#1367526#c2)
- Add proper multiple license information (#1367526#c2)
- Add Provides/Obsoletes to devel package (#1367526#c2)
- Remove unused shared library dependencies (#1367526#c2)
- Add version information to bundled Cudd (#1367526#c2)
- Change to a more informational summary (#1367526#c2)
2016-08-10 - pcpa <> 0.8.5-1
- Initial brial spec file

See Also

Package Description
brial-devel-0.8.5-4.fc25.i686.rpm Development files for brial
bridge-method-annotation-1.14-5.fc25.noarch.rpm Bridge method injection annotations
bridge-method-injector-1.14-5.fc25.noarch.rpm Evolve Java classes without breaking compatibility
bridge-method-injector-javadoc-1.14-5.fc25.noarch.rpm Javadoc for bridge-method-injector
bridge-utils-1.5-13.fc24.i686.rpm Utilities for configuring the linux ethernet bridge
brise-0.35-3.fc24.i686.rpm The official Rime schema repository
bristol-0.60.11-6.fc24.i686.rpm Synthesizer emulator
bristol-devel-0.60.11-6.fc24.i686.rpm Synthesizer emulator
brlapi-0.6.5-2.fc25.i686.rpm Application Programming Interface for BRLTTY
brlapi-devel-0.6.5-2.fc25.i686.rpm Headers, static archive, and documentation for BrlAPI
brlapi-java-0.6.5-2.fc25.i686.rpm Java binding for BrlAPI
brltty-5.4-2.fc25.i686.rpm Braille display driver for Linux/Unix
brltty-at-spi2-5.4-2.fc25.i686.rpm AtSpi2 driver for BRLTTY
brltty-docs-5.4-2.fc25.noarch.rpm Documentation for BRLTTY
brltty-espeak-5.4-2.fc25.i686.rpm eSpeak driver for BRLTTY