drat-trim-0-0.19.20221019gitcbd2915.fc38 | Build Info

Information for build drat-trim-0-0.19.20221019gitcbd2915.fc38

245991

Package Name

drat-trim

Version

Release

0.19.20221019gitcbd2915.fc38

Epoch

Source

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

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, 12 May 2023 13:59:46 UTC

Completed

Sun, 14 May 2023 06:50:04 UTC

Task

build (f38, /rpms/drat-trim.git:d3d4238e4712107cc0a2a9e6c1e2deae56ba7212)

Extra

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

Tags

f38

f39

f40

RPMs

src
	drat-trim-0-0.19.20221019gitcbd2915.fc38.src.rpm (info) (download)
riscv64
	drat-trim-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)
	drat-trim-devel-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)
	drat-trim-tools-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)
	drat-trim-debuginfo-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)
	drat-trim-debugsource-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)
	drat-trim-tools-debuginfo-0-0.19.20221019gitcbd2915.fc38.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Nov 23 2022 Jerry James <loganjerry@gmail.com> - 0-0.18 - Update for drat-gapless and minor bug fixes * 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

Main Site Links:

Information for build drat-trim-0-0.19.20221019gitcbd2915.fc38