معرفی شرکت ها


drat-trim-0-0.19.20221019gitcbd2915.fc38.src.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 i686
نام بسته drat-trim
نام فایل بسته drat-trim-0-0.19.20221019gitcbd2915.fc38.src.rpm
نسخه بسته 0
انتشار بسته 0.19.20221019gitcbd2915.fc38
معماری بسته i686
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 05
هاست سازنده buildvm-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/marijnheule/drat-trim
مجوز MIT
حجم دانلود 7.0M
حجم نصب 6.993M
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.


جایگزین ها



نیازمندی

مقدار نام
- gcc
- help2man


ارائه دهنده

مقدار نام
= 0-0.19.20221019gitcbd2915.fc38 drat-trim
= 0-0.19.20221019gitcbd2915.fc38 drat-trim-devel
= 0-0.19.20221019gitcbd2915.fc38 drat-trim-tools
= 0-0.19.20221019gitcbd2915.fc38 drat-trim-debuginfo
= 0-0.19.20221019gitcbd2915.fc38 drat-trim-debugsource


نحوه نصب


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

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


فایل ها

مسیرها
drat-trim-cbd29151d263c901ff2d7b7d6dd64af8f1ee9e23.tar.gz
drat-trim-library.patch
drat-trim-silent.patch
drat-trim-uninit.patch


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

تاریخ آخرین تغییر جزئیات
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