Fedora Packages

drat-trim

Proof checker for DIMACS proofs

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.

Releases Overview

Release Stable Testing
Fedora Rawhide 0-0.25.20240427giteffa1dc.fc41 -
Fedora 40 0-0.25.20240427giteffa1dc.fc40 -
Fedora 39 0-0.21.20230709git16f1d72.fc39 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at drat-trim dash maintainers at fedoraproject dot org.



Sources on Pagure