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

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

drat-trim ile İlgili Diğer Paketler

• dep: libc6 (>= 2.34) [alpha, sh4 değil]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

drat-trim indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	28,0 kB	150,0 kB	[dosya listesi]
amd64	28,3 kB	86,0 kB	[dosya listesi]
arm64	26,6 kB	150,0 kB	[dosya listesi]
armel	26,4 kB	76,0 kB	[dosya listesi]
armhf	25,9 kB	60,0 kB	[dosya listesi]
hppa (resmi olmayan port)	28,2 kB	76,0 kB	[dosya listesi]
i386	30,4 kB	92,0 kB	[dosya listesi]
m68k (resmi olmayan port)	25,6 kB	76,0 kB	[dosya listesi]
mips64el	27,8 kB	152,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	30,8 kB	150,0 kB	[dosya listesi]
ppc64el	31,2 kB	150,0 kB	[dosya listesi]
riscv64	27,5 kB	70,0 kB	[dosya listesi]
s390x	28,9 kB	81,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	30,2 kB	148,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	26,0 kB	2.070,0 kB	[dosya listesi]
x32 (resmi olmayan port)	27,8 kB	84,0 kB	[dosya listesi]