معرفی شرکت ها


drat-trim-0-0.21.20230709git16f1d72.fc39.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 39
مخزن Fedora Everything x86_64
نام بسته drat-trim
نام فایل بسته drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64.rpm
نسخه بسته 0
انتشار بسته 0.21.20230709git16f1d72.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sat Jul 29 01
هاست سازنده buildvm-x86-19.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/marijnheule/drat-trim
مجوز MIT
حجم دانلود 33K
حجم نصب 53.118K
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.


جایگزین ها



نیازمندی

مقدار نام
- 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.21.20230709git16f1d72.fc39 drat-trim
= 0-0.21.20230709git16f1d72.fc39 drat-trim(x86-64)
- libdrat-trim.so.0()(64bit)


نحوه نصب


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

    dnf install drat-trim-0-0.21.20230709git16f1d72.fc39.x86_64.rpm


فایل ها

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


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

تاریخ آخرین تغییر جزئیات
2023-07-28

Update for several minor bug fixes

2023-07-19

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

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