Bug#1084889: ITP: drat-trim -- DRAT-trim SAT proof checker

[陈 晟祺 <harry-chen@outlook.com>]

Package: wnpp
Severity: wishlist
Owner: harry-chen@outlook.com
User: debian-science@lists.debian.org
Usertags: field..logic
X-Debbugs-Cc: debian-devel@lists.debian.org, debian-science@lists.debian.org

* Package name    : drat-trim
  Version         : 0.0~git20240428.effa1dc
  Upstream Contact: Marijn Heule <marijn@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