Information for RPM drat-trim-0-0.24.20240309git89ddbfb.fc40.riscv64.rpm
ID | 1266407 | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | drat-trim | ||||||||||||||||||
Version | 0 | ||||||||||||||||||
Release | 0.24.20240309git89ddbfb.fc40 | ||||||||||||||||||
Epoch | |||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||
Summary | Proof checker for DIMACS proofs | ||||||||||||||||||
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. | ||||||||||||||||||
Build Time | 2024-03-27 18:31:45 GMT | ||||||||||||||||||
Size | 33.31 KB | ||||||||||||||||||
2912cbf3d9128bb4f70f9d768af54817 | |||||||||||||||||||
License | MIT | ||||||||||||||||||
Buildroot | f40-build-799215-142248 | ||||||||||||||||||
Provides |
|
||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||
Requires |
|
||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||
Files |
|
||||||||||||||||||
Component of |
|