nixpkgs / drat-trim - DRAT-trim is a satisfiability proof checking and trimming utility designed to validate proofs for all known satisfiability solving and preprocessing techniques. DRAT-trim can also emit trimmed formulas, optimized proofs, and TraceCheck+ dependency graphs. DRAT-trim has been used as part of the judging process in the annual SAT Competition in recent years, in order to check competing SAT solvers' work when they claim that a SAT instance is unsatisfiable. This package also contains the related tool LRAT-check, which checks a proof format called LRAT which extends DRAT with hint statements to speed up the checking process.

Homepage - https://www.cs.utexas.edu/~marijn/drat-trim/

License - MIT

Maintainers - Keshav Kini

Releases

2020-06-05 (expand/collapse)
From commit 06749ba3 to 00460bd6
2017-08-31 (expand/collapse)
From commit 05fe6112 to 05fe6112
2020-06-05 (expand/collapse)
From commit 066544a7 to 0096eb92
2017-08-31 (expand/collapse)
From commit 05a16be9 to 05a16be9
2020-06-05 (expand/collapse)
From commit 00eedc07 to 0456d939
2017-08-31 (expand/collapse)
From commit 01ce2551 to 01ce2551
2020-06-05 (expand/collapse)
From commit 00971ea0 to 002077c0
2017-08-31 (expand/collapse)
From commit 03e10f85 to 01676580