drat2er-0-0.16.20211228git6dfd668.fc41 | Build Info

Information for build drat2er-0-0.16.20211228git6dfd668.fc41

328753

Package Name

drat2er

Version

Release

0.16.20211228git6dfd668.fc41

Epoch

Source

git+https://src.fedoraproject.org/rpms/drat2er.git#43d23f1f927a2d02fc025c9f6074aa60c8605c9c

Summary

Proof transformer for propositional logic

Description

Drat2er is a tool for transforming proofs that are usually produced by SAT solvers. It takes as input a propositional formula (specified in the DIMACS format) together with a DRAT proof (DRAT is the current standard format for proofs in SAT solving), and outputs an extended-resolution proof of the formula in either the TRACECHECK or the DRAT format. The details of this proof transformation are described in the paper "Extended Resolution Simulates DRAT" (IJCAR 2018). Note that if drat2er is given as input a DRUP proof, then it transforms this DRUP proof into an ordinary resolution proof.

VCS

git:https://github.com/benjaminkiesl/drat2er.git

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Mon, 05 Aug 2024 07:15:14 UTC

Completed

Mon, 05 Aug 2024 08:13:59 UTC

Task

build (f41, /rpms/drat2er.git:43d23f1f927a2d02fc025c9f6074aa60c8605c9c)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat2er.git#43d23f1f927a2d02fc025c9f6074aa60c8605c9c'}}

Tags

f41

f42

RPMs

src
	drat2er-0-0.16.20211228git6dfd668.fc41.src.rpm (info) (download)
riscv64
	drat2er-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)
	drat2er-devel-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)
	drat2er-tools-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)
	drat2er-debuginfo-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)
	drat2er-debugsource-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)
	drat2er-tools-debuginfo-0-0.16.20211228git6dfd668.fc41.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0-0.15 - Switch upstream repositories - Drop upstreamed CLI11-2.0.0 patch - Drop obsolete arg-order patch * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.14.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0-0.12.20190307.521caf1 - Stop building for 32-bit x86 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.12.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.11.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 0-0.10.20190307.521caf1 - Add SPDX License tag for the tools subpackage * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.10.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Main Site Links:

Information for build drat2er-0-0.16.20211228git6dfd668.fc41