| Name : brial
| |
| Version : 1.2.12
| Vendor : Fedora Project
|
| Release : 5.fc40
| Date : 2024-01-23 01:53:01
|
| Group : Unspecified
| Source RPM : brial-1.2.12-5.fc40.src.rpm
|
| Size : 3.45 MB
| |
| Packager : Fedora Project
| |
| Summary : Framework for Boolean Rings
|
Description :
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.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/development/rawhide/Everything/x86_64/os/Packages/b |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
brial
brial(x86-64)
bundled(cudd)
libbrial.so.3()(64bit)
libbrial_groebner.so.3()(64bit)
Requires :
