Fri, 15 Nov 2024 01:53:58 UTC | login

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

ID1386854
Namedrat-trim
Version0
Release0.26.20240427giteffa1dc.fc41
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 Time2024-08-05 07:41:45 GMT
Size6.98 MB
221501b0f33bec6bcf0984146f96eed7
LicenseMIT
git:https://github.com/marijnheule/drat-trim.git
Buildrootf41-build-828212-155547
Provides
drat-trim = 0-0.26.20240427giteffa1dc.fc41
drat-trim-devel = 0-0.26.20240427giteffa1dc.fc41
drat-trim-tools = 0-0.26.20240427giteffa1dc.fc41
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 6 of 6
Name ascending sort Size
drat-trim-effa1dcce85c878236f8313133dff1a2b766cd7c.tar.gz6.95 MB
drat-trim-library.patch1.46 KB
drat-trim-overflow.patch398.00 B
drat-trim-silent.patch33.36 KB
drat-trim-uninit.patch1.80 KB
drat-trim.spec7.02 KB
Component of No Buildroots