معرفی شرکت ها


drat-trim-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Proof checker for DIMACS proofs
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything x86_64
نام بسته drat-trim
نام فایل بسته drat-trim-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm
نسخه بسته 0
انتشار بسته 0.18.20221019gitcbd2915.fc37
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 23 Nov 2022 08
هاست سازنده buildvm-x86-31.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/marijnheule/drat-trim
مجوز MIT
حجم دانلود 33K
حجم نصب 53.196K
The proof checker DRAT-trim can be used to check whether a propositional formula in the DIMACS format is unsatisfiable. Given a propositional formula and a clausal proof, DRAT-trim validates that the proof is a certificate of unsatisfiability of the formula. Clausal proofs should be in the DRAT format which is used to validate the results of the SAT competitions.


جایگزین ها

بسته نسخه معماری مخزن
drat-trim-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-0-0.17.20220423git43fce1c.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-0-0.17.20220423git43fce1c.fc37.src.rpm 0 i686 Fedora Everything
drat-trim-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-0-0.18.20221019gitcbd2915.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-0-0.18.20221019gitcbd2915.fc37.src.rpm 0 i686 Fedora Everything
drat-trim-debuginfo-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-debuginfo-0-0.17.20220423git43fce1c.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-debuginfo-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-debuginfo-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-debuginfo-0-0.18.20221019gitcbd2915.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-debuginfo-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-debugsource-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-debugsource-0-0.17.20220423git43fce1c.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-debugsource-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-debugsource-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-debugsource-0-0.18.20221019gitcbd2915.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-debugsource-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-devel-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-devel-0-0.17.20220423git43fce1c.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-devel-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-devel-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-devel-0-0.18.20221019gitcbd2915.fc37.i686.rpm 0 i686 Fedora Everything
drat-trim-devel-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-tools-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-tools-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-tools-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-tools-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-tools-debuginfo-0-0.17.20220423git43fce1c.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-tools-debuginfo-0-0.17.20220423git43fce1c.fc37.x86_64.rpm 0 x86_64 Fedora Everything
drat-trim-tools-debuginfo-0-0.18.20221019gitcbd2915.fc37.aarch64.rpm 0 aarch64 Fedora Everything
drat-trim-tools-debuginfo-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm 0 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 0-0.18.20221019gitcbd2915.fc37 drat-trim
= 0-0.18.20221019gitcbd2915.fc37 drat-trim(x86-64)
- libdrat-trim.so.0()(64bit)


نحوه نصب


نصب پکیج rpm drat-trim:

    dnf install drat-trim-0-0.18.20221019gitcbd2915.fc37.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/dff091ae74838b04eb7d6dd5f79b5d6ffea6e1
/usr/lib64/libdrat-trim.so.0
/usr/lib64/libdrat-trim.so.0.0.0
/usr/share/licenses/drat-trim


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

تاریخ آخرین تغییر جزئیات
2022-11-23

Update for drat-gapless and minor bug fixes

2022-07-21

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

2022-07-06

Update for lrat-check print and off-by-one fixes

2022-03-28

Update for lrat-check fix

2022-01-28

Update for ERROR fix
Use the %forge macros

2022-01-20

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

2021-12-21

Update for off-by-one error fix

2021-07-21

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

2021-06-21

Update for warning fixes

2021-01-26

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

2020-11-28

Update for proof emission from lrat-check