Sat, 23 Nov 2024 07:50:22 UTC | login

Information for RPM drat-trim-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm

ID439975
Namedrat-trim
Version0
Release0.3.20190702.8a7a96b.fc31
Epoch
Archriscv64
SummaryProof checker for DIMACS proofs
DescriptionThe proof checker DRAT-trim can be used to check whether a propositional formula in the DIMACS format is unsatisfiable. Given a propositional formula and a clausal proof, DRAT-trim validates that the proof is a certificate of unsatisfiability of the formula. Clausal proofs should be in the DRAT format which is used to validate the results of the SAT competitions.
Build Time2019-08-03 12:57:26 GMT
Size30.63 KB
9d23780acce28a31c9d92099c62654bd
LicenseMIT
Buildrootf31-build-70033-30388
Provides
drat-trim = 0-0.3.20190702.8a7a96b.fc31
drat-trim(riscv-64) = 0-0.3.20190702.8a7a96b.fc31
libdrat-trim.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)
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/990.00 B
/usr/lib/.build-id/99/d67285e02c150e26d52dd5e424702dfe41516543.00 B
/usr/lib64/libdrat-trim.so.021.00 B
/usr/lib64/libdrat-trim.so.0.0.035.75 KB
/usr/share/licenses/drat-trim0.00 B
/usr/share/licenses/drat-trim/LICENSE1.16 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
f31-build-101647-33409 2019-09-02 01:20:53 expired
f31-build-72352-30800 2019-08-07 22:27:25 expired