معرفی شرکت ها


drat-trim-0-0.19.20221019gitcbd2915.fc38.aarch64.rpm


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Proof checker for DIMACS proofs
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته drat-trim
نام فایل بسته drat-trim-0-0.19.20221019gitcbd2915.fc38.aarch64.rpm
نسخه بسته 0
انتشار بسته 0.19.20221019gitcbd2915.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 05
هاست سازنده buildvm-a64-40.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/marijnheule/drat-trim
مجوز MIT
حجم دانلود 33K
حجم نصب 197.297K
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.


جایگزین ها



نیازمندی

مقدار نام
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 0-0.19.20221019gitcbd2915.fc38 drat-trim
= 0-0.19.20221019gitcbd2915.fc38 drat-trim(aarch-64)
- libdrat-trim.so.0()(64bit)


نحوه نصب


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

    dnf install drat-trim-0-0.19.20221019gitcbd2915.fc38.aarch64.rpm


فایل ها

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


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

تاریخ آخرین تغییر جزئیات
2023-01-19

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

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