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

Verwijzigingen voor drat-trim

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [www.cs.utexas.edu]

Vergelijkbare pakketten:

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.

Andere aan drat-trim gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

drat-trim downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
sparc64 (unofficial port)	26,0 kB	2.070,0 kB	[overzicht]