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

[ Pakiet źródłowy: drat-trim  ]

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

• 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	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.0~git20240428.effa1dc-2	28,3 KiB	86,0 KiB	[lista plików]
arm64	0.0~git20240428.effa1dc-2+b1	26,7 KiB	151,0 KiB	[lista plików]
armhf	0.0~git20240428.effa1dc-2	25,9 KiB	60,0 KiB	[lista plików]
i386	0.0~git20240428.effa1dc-2	30,4 KiB	92,0 KiB	[lista plików]
ppc64el	0.0~git20240428.effa1dc-2	31,2 KiB	150,0 KiB	[lista plików]
riscv64	0.0~git20240428.effa1dc-2	27,5 KiB	70,0 KiB	[lista plików]
s390x	0.0~git20240428.effa1dc-2	28,9 KiB	81,0 KiB	[lista plików]