معرفی شرکت ها


drat-trim-0-0.21.20230709git16f1d72.fc39.i686.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 i686
نام بسته drat-trim
نام فایل بسته drat-trim-0-0.21.20230709git16f1d72.fc39.i686.rpm
نسخه بسته 0
انتشار بسته 0.21.20230709git16f1d72.fc39
معماری بسته i686
نگهدارنده -
تاریخ ساخت Sat 29 Jul 2023 01
هاست سازنده buildvm-x86-26.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/marijnheule/drat-trim
مجوز MIT
حجم دانلود 35K
حجم نصب 52.499K
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
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 0-0.21.20230709git16f1d72.fc39 drat-trim
= 0-0.21.20230709git16f1d72.fc39 drat-trim(x86-32)
- libdrat-trim.so.0


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/70340934fc02345219c1c301c404e640246d21
/usr/lib/libdrat-trim.so.0
/usr/lib/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