Пакет: drat-trim (0.0~git20240428.effa1dc-2)

[ Источник: 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

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

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

Загрузка drat-trim

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	28,0 Кб	150,0 Кб	[список файлов]
amd64	28,3 Кб	86,0 Кб	[список файлов]
arm64	26,6 Кб	150,0 Кб	[список файлов]
armel	26,4 Кб	76,0 Кб	[список файлов]
armhf	25,9 Кб	60,0 Кб	[список файлов]
hppa (неофициальный перенос)	28,2 Кб	76,0 Кб	[список файлов]
i386	30,4 Кб	92,0 Кб	[список файлов]
m68k (неофициальный перенос)	25,6 Кб	76,0 Кб	[список файлов]
mips64el	27,8 Кб	152,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	30,8 Кб	150,0 Кб	[список файлов]
ppc64el	31,2 Кб	150,0 Кб	[список файлов]
riscv64	27,5 Кб	70,0 Кб	[список файлов]
s390x	28,9 Кб	81,0 Кб	[список файлов]
sh4 (неофициальный перенос)	30,2 Кб	148,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	26,0 Кб	2 070,0 Кб	[список файлов]
x32 (неофициальный перенос)	27,8 Кб	84,0 Кб	[список файлов]