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

drat-trim 的相关链接

Debian 的资源：

下载源码包 drat-trim：

维护小组：

外部的资源：

主页 [www.cs.utexas.edu]

相似软件包：

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

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
amd64	28.3 kB	86.0 kB	[文件列表]
arm64	26.6 kB	150.0 kB	[文件列表]
armel	26.4 kB	76.0 kB	[文件列表]
armhf	25.9 kB	60.0 kB	[文件列表]
i386	30.4 kB	92.0 kB	[文件列表]
mips64el	27.8 kB	152.0 kB	[文件列表]
ppc64el	31.2 kB	150.0 kB	[文件列表]
riscv64	27.5 kB	70.0 kB	[文件列表]
s390x	28.9 kB	81.0 kB	[文件列表]