Pacote: drat-trim-examples (0.0~git20240428.effa1dc-2)

Links para drat-trim-examples

Rastreador de patch eLxr

Baixe o pacote-fonte 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]

Mantenedores(as):

Debian Science Maintainers
Shengqi Chen

Fontes externas:

Pagina principal [www.cs.utexas.edu]

Pacotes similares:

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.

Outros pacotes relacionados a drat-trim-examples

depende

recomenda

sugere

melhora

rec: drat-trim

DART-trim satisfiability proof checker (binary utils)

sug: bzip2

high-quality block-sorting file compressor - utilities

Download de drat-trim-examples

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
all	7,068.9 kB	7,196.0 kB	[lista de arquivos]