drat-trim-0-0.5.20200125.a89ef60.fc33 | Build Info

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

147698

Package Name

drat-trim

Version

Release

0.5.20200125.a89ef60.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/drat-trim.git#d3e833b7317c7c356d8aa39411186289ee1ab2b4

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

complete

Volume

DEFAULT

Started

Fri, 27 Mar 2020 15:34:10 UTC

Completed

Fri, 27 Mar 2020 15:50:46 UTC

Task

build (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

Main Site Links:

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