Pakiet: kissat (4.0.2-1)

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.34)

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

sug: bzip2

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

Narzędzia kompresji GNU
sug: p7zip

transitional package
również pakiet wirtualny udostępniany przez 7zip
sug: xz-utils

Narzędzia kompresji formatu XZ

Pobieranie kissat

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	349,9 KiB	971,0 KiB	[lista plików]
arm64	307,7 KiB	916,0 KiB	[lista plików]
armel	328,7 KiB	979,0 KiB	[lista plików]
armhf	331,3 KiB	787,0 KiB	[lista plików]
i386	355,9 KiB	1 066,0 KiB	[lista plików]
ppc64el	339,6 KiB	1 108,0 KiB	[lista plików]
riscv64	352,6 KiB	811,0 KiB	[lista plików]
s390x	339,7 KiB	940,0 KiB	[lista plików]