Balík: drat-trim (0.0~git20240428.effa1dc-2)

Odkazy pre drat-trim

Zdroje Debian:

Stiahnuť zdrojový balík drat-trim:

Správcovia:

Externé zdroje:

Domovská stránka [www.cs.utexas.edu]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom drat-trim

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.34) [nie alpha, loong64, sh4]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb

dep: libc6 (>= 2.40) [loong64, sh4]
dep: libc6.1 (>= 2.34) [alpha]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6.1-udeb

Stiahnuť drat-trim

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	28.0 kB	150.0 kB	[zoznam súborov]
amd64	28.3 kB	86.0 kB	[zoznam súborov]
arm64	26.6 kB	150.0 kB	[zoznam súborov]
armel	26.4 kB	76.0 kB	[zoznam súborov]
armhf	25.9 kB	60.0 kB	[zoznam súborov]
hppa (neoficiálny port)	28.2 kB	76.0 kB	[zoznam súborov]
i386	30.4 kB	92.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	27.4 kB	84.0 kB	[zoznam súborov]
m68k (neoficiálny port)	25.6 kB	76.0 kB	[zoznam súborov]
mips64el	27.8 kB	152.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	30.8 kB	150.0 kB	[zoznam súborov]
ppc64el	31.2 kB	150.0 kB	[zoznam súborov]
riscv64	27.5 kB	70.0 kB	[zoznam súborov]
s390x	28.9 kB	81.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	30.2 kB	148.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	26.0 kB	2,070.0 kB	[zoznam súborov]
x32 (neoficiálny port)	27.8 kB	84.0 kB	[zoznam súborov]