Wed, 29 May 2024 18:57:25 UTC | login

Information for RPM brial-1.2.12-3.fc40.riscv64.rpm

ID1066563
Namebrial
Version1.2.12
Release3.fc40
Epoch
Archriscv64
SummaryFramework for Boolean Rings
DescriptionThe 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.
Build Time2023-10-31 15:41:03 GMT
Size634.96 KB
409ba70b2127401a560d8ff4fd557c47
LicenseGPL-2.0-or-later AND BSD-3-Clause
Buildrootf40-build-734245-105813
Provides
brial = 1.2.12-3.fc40
brial(riscv-64) = 1.2.12-3.fc40
bundled(cudd) = 2.5.0
libbrial.so.3()(64bit)
libbrial_groebner.so.3()(64bit)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libbrial.so.3()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libgcc_s.so.1(GCC_3.4)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libm4ri-0.0.20200125.so()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/920.00 B
/usr/lib/.build-id/92/307561277bc2619b4cf42be61e7d776e1e753039.00 B
/usr/lib/.build-id/fe0.00 B
/usr/lib/.build-id/fe/3650a2b1717570d6b75c9845ba93853404e02848.00 B
/usr/lib64/libbrial.so.317.00 B
/usr/lib64/libbrial.so.3.0.7336.24 KB
/usr/lib64/libbrial_groebner.so.326.00 B
/usr/lib64/libbrial_groebner.so.3.0.72.96 MB
/usr/share/doc/brial0.00 B
/usr/share/doc/brial/README570.00 B
/usr/share/licenses/brial0.00 B
/usr/share/licenses/brial/LICENSE17.72 KB
Component of No Buildroots