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) [nie alpha, loong64, sh4]

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

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.38) [alpha]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-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
alpha (port nieoficjalny)	337,3 KiB	1 107,0 KiB	[lista plików]
amd64	388,2 KiB	1 095,0 KiB	[lista plików]
arm64	332,4 KiB	980,0 KiB	[lista plików]
armel	339,9 KiB	1 043,0 KiB	[lista plików]
armhf	344,4 KiB	787,0 KiB	[lista plików]
hppa (port nieoficjalny)	355,4 KiB	991,0 KiB	[lista plików]
i386	374,5 KiB	1 138,0 KiB	[lista plików]
loong64 (port nieoficjalny)	352,8 KiB	1 043,0 KiB	[lista plików]
m68k (port nieoficjalny)	347,1 KiB	1 042,0 KiB	[lista plików]
mips64el	317,8 KiB	1 066,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	364,6 KiB	1 236,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]
sh4 (port nieoficjalny)	428,7 KiB	914,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	314,8 KiB	2 068,0 KiB	[lista plików]
x32 (port nieoficjalny)	371,2 KiB	1 002,0 KiB	[lista plików]