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

[ Bron: drat-trim  ]

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

• dep: libc6 (>= 2.34) [niet alpha, sh4]

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

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

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

drat-trim downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	28,0 kB	150,0 kB	[overzicht]
amd64	28,3 kB	86,0 kB	[overzicht]
arm64	26,6 kB	150,0 kB	[overzicht]
armel	26,4 kB	76,0 kB	[overzicht]
armhf	25,9 kB	60,0 kB	[overzicht]
hppa (unofficial port)	28,2 kB	76,0 kB	[overzicht]
i386	30,4 kB	92,0 kB	[overzicht]
m68k (unofficial port)	25,6 kB	76,0 kB	[overzicht]
mips64el	27,8 kB	152,0 kB	[overzicht]
ppc64 (unofficial port)	30,8 kB	150,0 kB	[overzicht]
ppc64el	31,2 kB	150,0 kB	[overzicht]
riscv64	27,5 kB	70,0 kB	[overzicht]
s390x	28,9 kB	81,0 kB	[overzicht]
sh4 (unofficial port)	30,2 kB	148,0 kB	[overzicht]
sparc64 (unofficial port)	26,0 kB	2.070,0 kB	[overzicht]
x32 (unofficial port)	27,8 kB	84,0 kB	[overzicht]