fedora

Information for build drat2er-0-0.17.20211228git6dfd668.fc42

ID1773
Package Namedrat2er
Version0
Release0.17.20211228git6dfd668.fc42
Epoch
DraftFalse
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.
git:https://github.com/benjaminkiesl/drat2er.git
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 09 Jun 2025 16:11:33 UTC
CompletedMon, 09 Jun 2025 16:11:33 UTC
Tags
f42
RPMs
src
drat2er-0-0.17.20211228git6dfd668.fc42.src.rpm (info) (download)
riscv64
drat2er-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
drat2er-devel-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
drat2er-tools-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
drat2er-debuginfo-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
drat2er-debugsource-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
drat2er-tools-debuginfo-0-0.17.20211228git6dfd668.fc42.riscv64.rpm (info) (download)
Changelog * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * 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