brial-0.8.5-4.fc25.i686.rpm


Advertisement

Description

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 i686
Package type rpm
Installed size 3.88 MB
Download size 750.71 KB
Official Mirror dl.fedoraproject.org
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.

Alternatives

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 - - -

Requires

Name Value
/sbin/ldconfig -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GLIBC_2.0) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm4ri-0.0.20140914.so -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.10) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
brial = 0.8.5-4.fc25
brial(x86-32) = 0.8.5-4.fc25
bundled(cudd) = 2.5.0
libbrial.so.0 -
libbrial_groebner.so.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

Obsoletes

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

Download

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

Files

Path
/usr/lib/libbrial.so.0
/usr/lib/libbrial.so.0.0.0
/usr/lib/libbrial_groebner.so.0
/usr/lib/libbrial_groebner.so.0.0.0
/usr/share/doc/brial/README
/usr/share/licenses/brial/LICENSE

Changelog

2016-08-18 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 0.8.5-4
- Add Provides/Obsoletes to remaining polybori packages (#1367526#c6)
2016-08-17 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 0.8.5-3
- Correct summary to talk about BRiAl and not PolyBori (#1367526#c4)
2016-08-16 - pcpa <paulo.cesar.pereira.de.andrade@gmail.com> 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 <paulo.cesar.pereira.de.andrade@gmail.com> 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
Advertisement
Advertisement