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

Links para drat-trim

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:

cvc4
cvc5
libcvc4-7
libcvc4parser7
libcvc4-dev
libcvc5-1
libcvc5-dev
libcvc5parser1
python3-cvc5
lucy
cadical

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.

Outros pacotes relacionados a drat-trim

depende

recomenda

sugere

melhora

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
também um pacote virtual fornecido por libc6-udeb

Download de drat-trim

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	28.3 kB	86.0 kB	[lista de arquivos]
arm64	26.6 kB	150.0 kB	[lista de arquivos]