Fri, 17 May 2024 23:25:07 UTC | login

Information for RPM drat2er-0-0.12.20190307.521caf1.fc40.riscv64.rpm

ID1134040
Namedrat2er
Version0
Release0.12.20190307.521caf1.fc40
Epoch
Archriscv64
SummaryProof transformer for propositional logic
DescriptionDrat2er is a tool for transforming proofs that are usually produced by SAT solvers. It takes as input a propositional formula (specified in the DIMACS format) together with a DRAT proof (DRAT is the current standard format for proofs in SAT solving), and outputs an extended-resolution proof of the formula in either the TRACECHECK or the DRAT format. The details of this proof transformation are described in the paper "Extended Resolution Simulates DRAT" (IJCAR 2018). Note that if drat2er is given as input a DRUP proof, then it transforms this DRUP proof into an ordinary resolution proof.
Build Time2023-12-05 01:55:51 GMT
Size80.87 KB
0ea7e9a194ce327231075e8f5ced659a
LicenseMIT
Buildrootf40-build-754384-117630
Provides
drat2er = 0-0.12.20190307.521caf1.fc40
drat2er(riscv-64) = 0-0.12.20190307.521caf1.fc40
libdrat2er.so.0()(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)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libdrat-trim.so.0()(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(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.20)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(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 7 of 7
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/420.00 B
/usr/lib/.build-id/42/a42018982d36bb0267725d7a1b1a64e53c738141.00 B
/usr/lib64/libdrat2er.so.019.00 B
/usr/lib64/libdrat2er.so.0.0.0191.06 KB
/usr/share/licenses/drat2er0.00 B
/usr/share/licenses/drat2er/LICENSE1.05 KB
Component of
1 through 6 of 6
Buildroot descending sort Created State
f40-build-773860-127438 2024-01-11 18:58:49 expired
f40-build-773782-127378 2024-01-11 17:03:15 expired
f40-build-773567-127218 2024-01-11 09:58:55 expired
f40-build-771707-125981 2024-01-04 14:54:22 expired
f40-build-765278-123340 2023-12-19 17:44:08 expired
f40-build-760686-121099 2023-12-13 06:24:29 expired