drat2er-0-0.20.20211228git6dfd668.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / d

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

• drat2er
• drat2er(ppc-64)
• libdrat2er.so.0()(64bit)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libdrat-trim.so.0()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.9)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

MIT

Changelog

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.20
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/d2770078c30dc7d472c3dd59947ebde4d7cf81
/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, Wed Jan 28 01:53:35 2026