drat-trim-0-0.2.20190702.8a7a96b.fc31 | Build Info

ID	106357
Package Name	drat-trim
Version	0
Release	0.2.20190702.8a7a96b.fc31
Epoch
Source	git+https://src.fedoraproject.org/rpms/drat-trim.git#b7c94f4d0691fceb9ec18298a46b85894348bfe2
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.
Built by	davidlt
State	canceled
Volume	DEFAULT
Started	Sun, 28 Jul 2019 04:03:23 UTC
Completed	Mon, 29 Jul 2019 21:39:03 UTC
Task	build (f31-candidate, /rpms/drat-trim.git:b7c94f4d0691fceb9ec18298a46b85894348bfe2)
Extra	{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#b7c94f4d0691fceb9ec18298a46b85894348bfe2'}}
Tags	No tags
RPMs	No RPMs
Changelog	* Fri Jul 12 2019 Jerry James <loganjerry@gmail.com> - 0-0.2.20190702.8a7a96b - Bug fix for sortClause * Thu Jun 06 2019 Jerry James <loganjerry@gmail.com> - 0-0.1.20190516.e6fc615 - Initial RPM