Mon, 02 Dec 2024 14:22:43 UTC | login

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

ID1261071
Namedrat2er
Version0
Release0.14.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 Time2024-03-23 08:23:39 GMT
Size81.35 KB
71b4d68103bef134eb30e578f7e29dfa
LicenseMIT
Buildrootf40-build-796606-140694
Provides
drat2er = 0-0.14.20190307.521caf1.fc40
drat2er(riscv-64) = 0-0.14.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/aa0.00 B
/usr/lib/.build-id/aa/dca49e67d786074fc26bdefd8727c520c31fed41.00 B
/usr/lib64/libdrat2er.so.019.00 B
/usr/lib64/libdrat2er.so.0.0.0184.55 KB
/usr/share/licenses/drat2er0.00 B
/usr/share/licenses/drat2er/LICENSE1.05 KB
Component of No Buildroots