brial-0.8.5-4.fc25.x86_64.rpm


Advertisement

Description

brial - Framework for Boolean Rings

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

Provides

  • 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

  • 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

    Install Howto

    Install the brial rpm package:

    # dnf install brial

    Files

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

    Advertisement
    Advertisement