Thu, 23 May 2024 10:58:40 UTC | login

Information for RPM drat-trim-0-0.21.20230709git16f1d72.fc40.riscv64.rpm

ID1128748
Namedrat-trim
Version0
Release0.21.20230709git16f1d72.fc40
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 Time2023-11-30 08:56:48 GMT
Size33.07 KB
ebb9cc9d8b48f7bff2447cc2062d7950
LicenseMIT
Buildrootf40-build-751534-116202
Provides
drat-trim = 0-0.21.20230709git16f1d72.fc40
drat-trim(riscv-64) = 0-0.21.20230709git16f1d72.fc40
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/900.00 B
/usr/lib/.build-id/90/d3142a5b1567a13a92564cde1b15800093658d43.00 B
/usr/lib64/libdrat-trim.so.021.00 B
/usr/lib64/libdrat-trim.so.0.0.047.86 KB
/usr/share/licenses/drat-trim0.00 B
/usr/share/licenses/drat-trim/LICENSE1.16 KB
Component of
1 through 13 of 13
Buildroot descending sort Created State
f40-build-799390-142255 2024-03-28 08:06:29 expired
f40-build-798472-141898 2024-03-27 11:36:23 expired
f40-build-796606-140694 2024-03-23 08:19:21 expired
f40-build-792454-138334 2024-03-19 13:59:47 expired
f40-build-773860-127438 2024-01-11 18:58:49 expired
f40-build-773782-127378 2024-01-11 17:03:15 expired
f40-build-773567-127218 2024-01-11 09:58:55 expired
f40-build-773550-127218 2024-01-11 09:45:59 expired
f40-build-771707-125981 2024-01-04 14:54:22 expired
f40-build-765278-123340 2023-12-19 17:44:08 expired
f40-build-760686-121099 2023-12-13 06:24:29 expired
f40-build-756224-118474 2023-12-06 16:23:03 expired
f40-build-754384-117630 2023-12-05 01:48:53 expired