drat-trim-0-0.24.20240309git89ddbfb.fc40 | Build Info

Information for build drat-trim-0-0.24.20240309git89ddbfb.fc40

302614

Package Name

drat-trim

Version

Release

0.24.20240309git89ddbfb.fc40

Epoch

Source

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

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

Wed, 27 Mar 2024 18:25:16 UTC

Completed

Wed, 27 Mar 2024 18:32:29 UTC

Task

build (f40, /rpms/drat-trim.git:1d28440c0142b4f80520677643812b59ec0fc2cf)

Extra

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

Tags

f40

f41

RPMs

src
	drat-trim-0-0.24.20240309git89ddbfb.fc40.src.rpm (info) (download)
riscv64
	drat-trim-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)
	drat-trim-devel-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)
	drat-trim-tools-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)
	drat-trim-debuginfo-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)
	drat-trim-debugsource-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)
	drat-trim-tools-debuginfo-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm (info) (download)

Logs

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

Changelog

* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0-0.24.20240309git89ddbfb - Update for proof (de)compression fixes - Stop building for 32-bit x86 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0-0.21.20230709git16f1d72 - Update for several minor bug fixes * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * 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.20221019gitcbd2915 - 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

Main Site Links:

Information for build drat-trim-0-0.24.20240309git89ddbfb.fc40