Fri, 31 May 2024 23:55:40 UTC | login

Information for RPM drat2er-0-0.2.20190307.521caf1.fc31.riscv64.rpm

ID475058
Namedrat2er
Version0
Release0.2.20190307.521caf1.fc31
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 Time2019-09-01 17:08:32 GMT
Size76.60 KB
292f44c75332d0bc5afe6c6d6f445ab3
LicenseMIT
Buildrootf31-build-101647-33409
Provides
drat2er = 0-0.2.20190307.521caf1.fc31
drat2er(riscv-64) = 0-0.2.20190307.521caf1.fc31
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)
libdrat-trim.so.0()(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_4.2.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.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/6b0.00 B
/usr/lib/.build-id/6b/bd7bb10093f30eca27927a927950a8eead497f41.00 B
/usr/lib64/libdrat2er.so.019.00 B
/usr/lib64/libdrat2er.so.0.0.0205.34 KB
/usr/share/licenses/drat2er0.00 B
/usr/share/licenses/drat2er/LICENSE1.05 KB
Component of No Buildroots