drat-trim-0-0.7.20200605.9afad0f.fc33 | Build Info

Information for build drat-trim-0-0.7.20200605.9afad0f.fc33

179426

Package Name

drat-trim

Version

Release

0.7.20200605.9afad0f.fc33

Epoch

Source

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

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

Thu, 13 Aug 2020 22:29:58 UTC

Completed

Thu, 13 Aug 2020 22:39:13 UTC

Task

build (f33, /rpms/drat-trim.git:bc31440a000e9a8ed583e068b14e051d188a1efc)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat-trim.git#bc31440a000e9a8ed583e068b14e051d188a1efc'}}

Tags

f33

f37

f38

RPMs

src
	drat-trim-0-0.7.20200605.9afad0f.fc33.src.rpm (info) (download)
riscv64
	drat-trim-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)
	drat-trim-devel-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)
	drat-trim-tools-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)
	drat-trim-debuginfo-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)
	drat-trim-debugsource-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)
	drat-trim-tools-debuginfo-0-0.7.20200605.9afad0f.fc33.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	installed_pkgs.log
	mock_output.log
	root.log
	state.log

Changelog

* Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 0-0.7.20200605.9afad0f - Update for comment support and expandable literal lists * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.6.20200125.a89ef60 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * 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.7.20200605.9afad0f.fc33