Package: drat-trim (0.0~git20240428.effa1dc-2) [debports]

Links for drat-trim

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.cs.utexas.edu]

Similar packages:

cvc4
cvc5
libcvc4-7
libcvc4-4
libcvc4-5
libcvc4parser7
libcvc4parser4
libcvc4parser5
libcvc4-dev
libcvc5-1
python3-cvc5

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.

Other Packages Related to drat-trim

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

Download drat-trim

Download for all available architectures
Architecture	Package Size	Installed Size	Files
m68k (unofficial port)	25.6 kB	76.0 kB	[list of files]