معرفی شرکت ها


drat2er-0-0.10.20190307.521caf1.fc37.i686.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Proof transformer for propositional logic
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything i686
نام بسته drat2er
نام فایل بسته drat2er-0-0.10.20190307.521caf1.fc37.i686.rpm
نسخه بسته 0
انتشار بسته 0.10.20190307.521caf1.fc37
معماری بسته i686
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 05
هاست سازنده buildvm-x86-03.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/alex-ozdemir/drat2er/
مجوز MIT
حجم دانلود 78K
حجم نصب 172.511K
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.


جایگزین ها



نیازمندی

مقدار نام
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.32)
- libc.so.6(GLIBC_2.4)
- libdrat-trim.so.0
- libgcc_s.so.1
- libgcc_s.so.1(GCC_3.0)
- libgcc_s.so.1(GCC_3.3.1)
- libstdc++.so.6
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(CXXABI_1.3.9)
- libstdc++.so.6(GLIBCXX_3.4)
- libstdc++.so.6(GLIBCXX_3.4.11)
- libstdc++.so.6(GLIBCXX_3.4.18)
- libstdc++.so.6(GLIBCXX_3.4.20)
- libstdc++.so.6(GLIBCXX_3.4.21)
- libstdc++.so.6(GLIBCXX_3.4.26)
- libstdc++.so.6(GLIBCXX_3.4.29)
- libstdc++.so.6(GLIBCXX_3.4.30)
- libstdc++.so.6(GLIBCXX_3.4.9)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 0-0.10.20190307.521caf1.fc37 drat2er
= 0-0.10.20190307.521caf1.fc37 drat2er(x86-32)
- libdrat2er.so.0


نحوه نصب


نصب پکیج rpm drat2er:

    dnf install drat2er-0-0.10.20190307.521caf1.fc37.i686.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/db2ba52c27dd8562040f585b89d6aea35ccede
/usr/lib/libdrat2er.so.0
/usr/lib/libdrat2er.so.0.0.0
/usr/share/licenses/drat2er


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-08-12

Updated for newer CLI11-2.0.0 dependency.

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2020-08-01

Second attempt - Rebuilt for

2020-07-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild