drat2er-0-0.5.20190307.521caf1.fc33 | Build Info

Information for build drat2er-0-0.5.20190307.521caf1.fc33

179455

Package Name

drat2er

Version

Release

0.5.20190307.521caf1.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/drat2er.git#1ee25ad734ade0982afb5393311d3d3556677772

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.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Sun, 16 Aug 2020 07:56:59 UTC

Completed

Sun, 16 Aug 2020 08:49:53 UTC

Task

build (f33, /rpms/drat2er.git:1ee25ad734ade0982afb5393311d3d3556677772)

Extra

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

Tags

f33

f37

f38

RPMs

src
	drat2er-0-0.5.20190307.521caf1.fc33.src.rpm (info) (download)
riscv64
	drat2er-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)
	drat2er-devel-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)
	drat2er-tools-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)
	drat2er-debuginfo-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)
	drat2er-debugsource-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)
	drat2er-tools-debuginfo-0-0.5.20190307.521caf1.fc33.riscv64.rpm (info) (download)

Logs

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

Changelog

* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.5.20190307.521caf1 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.4.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.3.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.2.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jun 06 2019 Jerry James <loganjerry@gmail.com> - 0-0.1.20190307.521caf1 - Initial RPM

Main Site Links:

Information for build drat2er-0-0.5.20190307.521caf1.fc33