软件包：drat-trim（0.0~git20240428.effa1dc-2） [debports]

[ 源代码：  ]

DART-trim satisfiability proof checker (binary utils)

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.

This package contains binaries needed to use DART-trim as a stand-alone tool.

其他与 drat-trim 有关的软件包

• dep: libc6 (>= 2.34)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6-udeb

下载 drat-trim

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
x32 （非官方移植版）	27.8 kB	84.0 kB	[文件列表]