Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM drat-trim-0-0.19.20221019gitcbd2915.fc38.src.rpm

ID	1004384
Name	drat-trim
Version	0
Release	0.19.20221019gitcbd2915.fc38
Epoch
Arch	src
Summary	Proof checker for DIMACS proofs
Description	The 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 Time	2023-05-14 06:46:23 GMT
Size	6.97 MB
SIGMD5	914e98e7359f64347204922ac2f1e641
License	MIT
Buildroot	f38-build-711366-93724
Provides	drat-trim = 0-0.19.20221019gitcbd2915.fc38 drat-trim-debuginfo = 0-0.19.20221019gitcbd2915.fc38 drat-trim-debugsource = 0-0.19.20221019gitcbd2915.fc38 drat-trim-devel = 0-0.19.20221019gitcbd2915.fc38 drat-trim-tools = 0-0.19.20221019gitcbd2915.fc38
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 5 of 5 Name Size drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23.tar.gz 6.95 MB drat-trim-library.patch 1.53 KB drat-trim-silent.patch 32.11 KB drat-trim-uninit.patch 1.18 KB drat-trim.spec 5.73 KB
Component of	No Buildroots