Wed, 20 Nov 2024 09:59:29 UTC | login

Information for RPM drat-trim-0-0.26.20240427giteffa1dc.fc41.riscv64.rpm

ID1386858
Namedrat-trim
Version0
Release0.26.20240427giteffa1dc.fc41
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 Time2024-08-05 07:42:39 GMT
Size33.08 KB
e32ba6fdf57054143afc2984b95a03f1
LicenseMIT
git:https://github.com/marijnheule/drat-trim.git
Buildrootf41-build-828212-155547
Provides
drat-trim = 0-0.26.20240427giteffa1dc.fc41
drat-trim(riscv-64) = 0-0.26.20240427giteffa1dc.fc41
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/b30.00 B
/usr/lib/.build-id/b3/8100e14d0389811ea38616336124b7fe1083eb43.00 B
/usr/lib64/libdrat-trim.so.021.00 B
/usr/lib64/libdrat-trim.so.0.0.047.38 KB
/usr/share/licenses/drat-trim0.00 B
/usr/share/licenses/drat-trim/LICENSE1.16 KB
Component of
1 through 7 of 7
Buildroot descending sort Created State
f41-build-859496-168684 2024-10-27 09:23:49 expired
f41-build-858634-168433 2024-10-26 10:16:25 expired
f41-build-857242-167881 2024-10-25 09:48:45 expired
f41-build-850438-165391 2024-09-23 12:49:07 expired
f41-build-843244-161904 2024-08-16 10:30:27 expired
f41-build-842767-161629 2024-08-15 20:49:09 expired
f41-build-830714-156680 2024-08-06 15:46:53 expired