Package: wnpp Severity: wishlist Owner: harry-c...@outlook.com User: debian-scie...@lists.debian.org Usertags: field..logic X-Debbugs-Cc: debian-devel@lists.debian.org, debian-scie...@lists.debian.org
* Package name : drat-trim Version : 0.0~git20240428.effa1dc Upstream Contact: Marijn Heule <mar...@cmu.edu> * 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
