套件：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

其他與 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