Package: wnpp Severity: wishlist Owner: [email protected] User: [email protected] Usertags: field..logic X-Debbugs-Cc: [email protected], [email protected]
* Package name : drat-trim Version : 0.0~git20240428.effa1dc Upstream Contact: Marijn Heule <[email protected]> * URL : https://www.cs.utexas.edu/~marijn/drat-trim/ * License : MIT Programming Lang: C Description : DRAT-trim SAT proof checker 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 is also depended by kissat (see: #1084868) as B-D to run more tests. I plan to maintain it with the release team. Since the upstream tag is not meaningful (v05.23.2023), I plan to use git snapshot as upstream version. Thanks, Shengqi Chen
