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

[ Source: 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.

Other Packages Related to drat-trim

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

  Knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  Knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc6.1-udeb

Download drat-trim

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	28.0 kB	150.0 kB	[list of files]
amd64	28.3 kB	86.0 kB	[list of files]
arm64	26.6 kB	150.0 kB	[list of files]
armel	26.4 kB	76.0 kB	[list of files]
armhf	25.9 kB	60.0 kB	[list of files]
hppa (unofficial port)	28.2 kB	76.0 kB	[list of files]
i386	30.4 kB	92.0 kB	[list of files]
m68k (unofficial port)	25.6 kB	76.0 kB	[list of files]
mips64el	27.8 kB	152.0 kB	[list of files]
ppc64 (unofficial port)	30.8 kB	150.0 kB	[list of files]
ppc64el	31.2 kB	150.0 kB	[list of files]
riscv64	27.5 kB	70.0 kB	[list of files]
s390x	28.9 kB	81.0 kB	[list of files]
sh4 (unofficial port)	30.2 kB	148.0 kB	[list of files]
sparc64 (unofficial port)	26.0 kB	2,070.0 kB	[list of files]
x32 (unofficial port)	27.8 kB	84.0 kB	[list of files]