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

Odnośniki dla drat-trim

Zasoby systemu Debian:

Pobieranie pakietu źródłowego drat-trim:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cs.utexas.edu]

Podobne pakiety:

Narzędzie do sprawdzania dowodów spełnialności DART-trim (narzędzia binarne)

DRAT-trim to narzędzie do sprawdzania i przycinania dowodów spełnialności, przeznaczone do walidacji dowodów za pomocą wszystkich znanych technik rozwiązywania i wstępnego przetwarzania dowodów spełnialności. DRAT-trim może również emitować przycięte formuły, zoptymalizowane dowody i wykresy zależności TraceCheck+.

Ten pakiet zawiera pliki binarne niezbędne do korzystania z DART-trim jako samodzielnego narzędzia.

Inne pakiety związane z drat-trim

wymaga

poleca

sugeruje

enhances

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

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

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

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb

Pobieranie drat-trim

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	28,0 KiB	150,0 KiB	[lista plików]
amd64	28,3 KiB	86,0 KiB	[lista plików]
arm64	26,6 KiB	150,0 KiB	[lista plików]
armel	26,4 KiB	76,0 KiB	[lista plików]
armhf	25,9 KiB	60,0 KiB	[lista plików]
hppa (port nieoficjalny)	28,2 KiB	76,0 KiB	[lista plików]
i386	30,4 KiB	92,0 KiB	[lista plików]
loong64 (port nieoficjalny)	27,4 KiB	84,0 KiB	[lista plików]
m68k (port nieoficjalny)	25,6 KiB	76,0 KiB	[lista plików]
mips64el	27,8 KiB	152,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	30,8 KiB	150,0 KiB	[lista plików]
ppc64el	31,2 KiB	150,0 KiB	[lista plików]
riscv64	27,5 KiB	70,0 KiB	[lista plików]
s390x	28,9 KiB	81,0 KiB	[lista plików]
sh4 (port nieoficjalny)	30,2 KiB	148,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	26,0 KiB	2 070,0 KiB	[lista plików]
x32 (port nieoficjalny)	27,8 KiB	84,0 KiB	[lista plików]