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)

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

Pobieranie drat-trim

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	28,3 KiB	86,0 KiB	[lista plików]
arm64	26,6 KiB	150,0 KiB	[lista plików]
armhf	25,9 KiB	60,0 KiB	[lista plików]
i386	30,4 KiB	92,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]