Pakiet: kissat (4.0.3-2)

Odnośniki dla kissat

Zasoby systemu Debian:

Pobieranie pakietu źródłowego kissat:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [fmv.jku.at]

Podobne pakiety:

Keep it simple and clean bare metal SAT solver

Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

This package contains binaries needed to use Kissat as a stand-alone tool.

Inne pakiety związane z kissat

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38)

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

sug: 7zip

7-Zip file archiver with a high compression ratio
sug: bzip2

Wysokiej jakości sortujący bloki kompresor plików - narzędzia
sug: gzip (>= 1)

Narzędzia kompresji GNU
sug: xz-utils

Narzędzia kompresji formatu XZ

Pobieranie kissat

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	388,2 KiB	1 095,0 KiB	[lista plików]
arm64	332,4 KiB	980,0 KiB	[lista plików]
armhf	344,4 KiB	787,0 KiB	[lista plików]
i386	374,5 KiB	1 138,0 KiB	[lista plików]
ppc64el	361,8 KiB	1 172,0 KiB	[lista plików]
riscv64	368,6 KiB	839,0 KiB	[lista plików]
s390x	352,6 KiB	984,0 KiB	[lista plików]