brial-0.8.5-4.fc25.x86_64.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 x86_64
Package type rpm
Installed size 3.83 MB
Download size 723.69 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.i686.rpm 0.8.5 i686 Fedora
brial - - -

Requires

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

Provides

Name Value
brial = 0.8.5-4.fc25
brial(x86-64) = 0.8.5-4.fc25
bundled(cudd) = 2.5.0
libbrial.so.0()(64bit) -
libbrial_groebner.so.0()(64bit) -
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.x86_64.rpm
Source Package brial-0.8.5-4.fc25.src.rpm

Install Howto

Install the brial rpm package:

# dnf install brial

Files

Path
/usr/lib64/libbrial.so.0
/usr/lib64/libbrial.so.0.0.0
/usr/lib64/libbrial_groebner.so.0
/usr/lib64/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