Tue, 17 Dec 2024 02:30:23 UTC | login

Information for build drat-trim-0-0.5.20200125.a89ef60.fc33

ID147698
Package Namedrat-trim
Version0
Release0.5.20200125.a89ef60.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat-trim.git#d3e833b7317c7c356d8aa39411186289ee1ab2b4
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
StartedFri, 27 Mar 2020 15:34:10 UTC
CompletedFri, 27 Mar 2020 15:50:46 UTC
Taskbuild (f33, /rpms/drat-trim.git:d3e833b7317c7c356d8aa39411186289ee1ab2b4)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#d3e833b7317c7c356d8aa39411186289ee1ab2b4'}}
Tags
f33
RPMs
src
drat-trim-0-0.5.20200125.a89ef60.fc33.src.rpm (info) (download)
riscv64
drat-trim-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
drat-trim-devel-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
drat-trim-tools-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
drat-trim-debuginfo-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
drat-trim-debugsource-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
drat-trim-tools-debuginfo-0-0.5.20200125.a89ef60.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Mar 05 2020 Jerry James <loganjerry@gmail.com> - 0-0.5.20200125.a89ef60 - Update to latest git snapshot for derivation fixes * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.4.20190702.8a7a96b - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * 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