brial - Framework for Boolean Rings

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name brial
Package version 0.8.5
Package release 4.fc25
Package architecture x86_64
Package type rpm
Installed size 3.83 MB
Download size 723.69 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.i686.rpm 0.8.5 i686 Fedora
brial - - -


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


Name Value
brial = 0.8.5-4.fc25
brial(x86-64) = 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.x86_64.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
brial-devel-0.8.5-4.fc25.x86_64.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.x86_64.rpm Utilities for configuring the linux ethernet bridge
brise-0.35-3.fc24.x86_64.rpm The official Rime schema repository
bristol-0.60.11-6.fc24.i686.rpm Synthesizer emulator
bristol-0.60.11-6.fc24.x86_64.rpm Synthesizer emulator
bristol-devel-0.60.11-6.fc24.i686.rpm Synthesizer emulator
bristol-devel-0.60.11-6.fc24.x86_64.rpm Synthesizer emulator
brlapi-0.6.5-2.fc25.i686.rpm Application Programming Interface for BRLTTY
brlapi-0.6.5-2.fc25.x86_64.rpm Application Programming Interface for BRLTTY
brlapi-devel-0.6.5-2.fc25.i686.rpm Headers, static archive, and documentation for BrlAPI
brlapi-devel-0.6.5-2.fc25.x86_64.rpm Headers, static archive, and documentation for BrlAPI