Tue, 17 Dec 2024 00:00:27 UTC | login

Information for RPM drat-trim-0-0.17.20220423git43fce1c.fc37.src.rpm

ID883934
Namedrat-trim
Version0
Release0.17.20220423git43fce1c.fc37
Epoch
Archsrc
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 Time2022-11-11 18:30:05 GMT
Size6.97 MB
ff6fbcc8d6efb00a77984ca960c60d4a
LicenseMIT
Buildrootf37-build-673725-75669
Provides
drat-trim = 0-0.17.20220423git43fce1c.fc37
drat-trim-debuginfo = 0-0.17.20220423git43fce1c.fc37
drat-trim-debugsource = 0-0.17.20220423git43fce1c.fc37
drat-trim-devel = 0-0.17.20220423git43fce1c.fc37
drat-trim-tools = 0-0.17.20220423git43fce1c.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
gcc
help2man
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
drat-trim-43fce1ce1975e9911913d5ce72f9ad00bfaf9fe4.tar.gz6.95 MB
drat-trim-library.patch1.53 KB
drat-trim-silent.patch32.11 KB
drat-trim.spec5.31 KB
Component of No Buildroots