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

drat-trim-examples 的相关链接

eLxr 补丁追踪网站

下载源码包 drat-trim：

[drat-trim_0.0~git20240428.effa1dc-2.debian.tar.xz]
[drat-trim_0.0~git20240428.effa1dc-2.dsc]
[drat-trim_0.0~git20240428.effa1dc.orig.tar.gz]

维护小组：

Debian Science Maintainers
Shengqi Chen

外部的资源：

主页 [www.cs.utexas.edu]

相似软件包：

libcvc4-dev
libcvc4-7
libcvc4parser7
cvc4
prinseq-lite
agda-bin
libsolv-dev
libsolvext-dev
clasp
r-cran-huge
agda-stdlib

DART-trim satisfiability proof checker (example files)

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 some example data files for DART-trim.

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

依赖

推荐

建议

增强

rec: drat-trim

DART-trim satisfiability proof checker (binary utils)

sug: bzip2

high-quality block-sorting file compressor - utilities

下载 drat-trim-examples

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	7,068.9 kB	7,196.0 kB	[文件列表]