Tue, 04 Jun 2024 16:31:48 UTC | login

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

ID119075
Package Namedrat-trim
Version0
Release0.3.20190702.8a7a96b.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#49ab12fca361b623a43c71062e7499d8985b8b9d
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 complete
Volume DEFAULT
StartedSat, 03 Aug 2019 21:19:20 UTC
CompletedSat, 03 Aug 2019 22:01:13 UTC
Taskbuild (f31-candidate, /rpms/drat-trim.git:49ab12fca361b623a43c71062e7499d8985b8b9d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#49ab12fca361b623a43c71062e7499d8985b8b9d'}}
Tags
f31
f32
f33
RPMs
src
drat-trim-0-0.3.20190702.8a7a96b.fc31.src.rpm (info) (download)
riscv64
drat-trim-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
drat-trim-devel-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
drat-trim-tools-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
drat-trim-debuginfo-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
drat-trim-debugsource-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
drat-trim-tools-debuginfo-0-0.3.20190702.8a7a96b.fc31.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.3.20190702.8a7a96b - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * 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