Tue, 14 May 2024 20:13:44 UTC | login

Information for build drat-trim-0-0.2.20190702.8a7a96b.fc31

ID106357
Package Namedrat-trim
Version0
Release0.2.20190702.8a7a96b.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#b7c94f4d0691fceb9ec18298a46b85894348bfe2
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.
Built bydavidlt
State canceled
Volume DEFAULT
StartedSun, 28 Jul 2019 04:03:23 UTC
CompletedMon, 29 Jul 2019 21:39:03 UTC
Taskbuild (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