Wed, 04 Dec 2024 16:32:29 UTC | login

Information for RPM drat2er-0-0.15.20211228git6dfd668.fc40.riscv64.rpm

ID1266599
Namedrat2er
Version0
Release0.15.20211228git6dfd668.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-28 08:10:48 GMT
Size75.28 KB
762285ab48968f87aa2b88e7855956ac
LicenseMIT
Buildrootf40-build-799390-142255
Provides
drat2er = 0-0.15.20211228git6dfd668.fc40
drat2er(riscv-64) = 0-0.15.20211228git6dfd668.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/2c0.00 B
/usr/lib/.build-id/2c/e84e47280a4ced6d0b335560730f39f0b4f3cc41.00 B
/usr/lib64/libdrat2er.so.019.00 B
/usr/lib64/libdrat2er.so.0.0.0172.42 KB
/usr/share/licenses/drat2er0.00 B
/usr/share/licenses/drat2er/LICENSE1.05 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f41-build-813615-148684 2024-07-11 16:30:56 expired
f40-build-805569-144785 2024-04-14 13:00:27 expired