https://bugzilla.redhat.com/show_bug.cgi?id=1718599
Bug ID: 1718599
Summary: Review Request: drat-trim - Proof checker for DIMACS
proofs
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Target Milestone: ---
Classification: Fedora
Spec URL: https://jjames.fedorapeople.org/drat-trim/drat-trim.spec
SRPM URL:
https://jjames.fedorapeople.org/drat-trim/drat-trim-0-0.1.20190516.e6fc615.fc31.src.rpm
Fedora Account System Username: jjames
Description: 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.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
