Mon, 02 Dec 2024 20:24:34 UTC | login

Information for build drat2er-0-0.3.20190307.521caf1.fc33

ID147687
Package Namedrat2er
Version0
Release0.3.20190307.521caf1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat2er.git#8cc0f6151b22253a58e3234c6c84ae064bbf5478
SummaryProof transformer for propositional logic
DescriptionDrat2er 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 bydavidlt
State failed
Volume DEFAULT
StartedTue, 09 Jun 2020 12:17:29 UTC
CompletedTue, 09 Jun 2020 12:34:59 UTC
Taskbuild (f33, /rpms/drat2er.git:8cc0f6151b22253a58e3234c6c84ae064bbf5478)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat2er.git#8cc0f6151b22253a58e3234c6c84ae064bbf5478'}}
Tags No tags
RPMs No RPMs
Changelog * 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