Fri, 29 Mar 2024 22:40:28 CST | login

Information for build drat2er-0-0.11.20190307.521caf1.fc38

ID44718
Package Namedrat2er
Version0
Release0.11.20190307.521caf1.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/drat2er.git#35447dba02ed9e0375543398a80cecf25f5f5e78
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 bykojiadmin
State failed
Volume DEFAULT
StartedWed, 12 Jul 2023 22:44:20 CST
CompletedWed, 12 Jul 2023 23:16:57 CST
Taskbuild (f38-build-side-42-init-devel, /rpms/drat2er.git:35447dba02ed9e0375543398a80cecf25f5f5e78)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/drat2er.git#35447dba02ed9e0375543398a80cecf25f5f5e78'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.9.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Aug 12 2021 Ryan Curtin <ryan@ratml.org> - 0-0.8.20190307.521caf1 - Updated for newer CLI11-2.0.0 dependency. * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.7.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.6.20190307.521caf1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild