drat-trim-0-0.17.20220423git43fce1c.fc37 | Build Info

Information for build drat-trim-0-0.17.20220423git43fce1c.fc37

219621

Package Name

drat-trim

Version

Release

0.17.20220423git43fce1c.fc37

Epoch

Source

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

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, 11 Nov 2022 17:05:13 UTC

Completed

Fri, 11 Nov 2022 18:32:09 UTC

Task

build (f37, /rpms/drat-trim.git:faa9b27b1d1a294e681601ed2f0f52f023130fce)

Extra

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

Tags

f37

f38

RPMs

src
	drat-trim-0-0.17.20220423git43fce1c.fc37.src.rpm (info) (download)
riscv64
	drat-trim-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)
	drat-trim-devel-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)
	drat-trim-tools-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)
	drat-trim-debuginfo-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)
	drat-trim-debugsource-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)
	drat-trim-tools-debuginfo-0-0.17.20220423git43fce1c.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jul 06 2022 Jerry James <loganjerry@gmail.com> - 0-0.16.20220423git43fce1c - Update for lrat-check print and off-by-one fixes * Mon Mar 28 2022 Jerry James <loganjerry@gmail.com> - 0-0.15.20220212git21296ed - Update for lrat-check fix * Fri Jan 28 2022 Jerry James <loganjerry@gmail.com> - 0-0.14.20220104git0c02b4f - Update for ERROR fix - Use the %forge macros * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20211120.09d4f74 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Dec 21 2021 Jerry James <loganjerry@gmail.com> - 0-0.12.20211120.09d4f74 - Update for off-by-one error fix * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.11.20210327.cec4ebb - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 0-0.10.20210327.cec4ebb - Update for warning fixes * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.9.20200914.d13f761 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Nov 28 2020 Jerry James <loganjerry@gmail.com> - 0-0.8.20200914.d13f761 - Update for proof emission from lrat-check * 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

Main Site Links:

Information for build drat-trim-0-0.17.20220423git43fce1c.fc37