Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

drat2er-0-0.15.20211228git6dfd668.fc40 RPM for x86_64

From Fedora 40 testing updates for x86_64 / Packages / d

Name: drat2er Distribution: Fedora Project
Version: 0 Vendor: Fedora Project
Release: 0.15.20211228git6dfd668.fc40 Build date: Thu Mar 14 21:37:11 2024
Group: Unspecified Build host: buildhw-x86-16.iad2.fedoraproject.org
Size: 167809 Source RPM: drat2er-0-0.15.20211228git6dfd668.fc40.src.rpm
Packager: Fedora Project
Url: https://github.com/benjaminkiesl/drat2er
Summary: Proof transformer for propositional logic
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.

Provides

Requires

License

MIT

Changelog

* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/cdd0364b8f7d86996187a43fcb29256da43679
/usr/lib64/libdrat2er.so.0
/usr/lib64/libdrat2er.so.0.0.0
/usr/share/licenses/drat2er
/usr/share/licenses/drat2er/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Nov 18 01:30:44 2024