Pakiet: kissat (4.0.2-1)

Odnośniki dla kissat

Śledzenie łatek systemu eLxr

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)

GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez libc6-udeb

sug: bzip2

high-quality block-sorting file compressor - utilities
sug: gzip (>= 1)

GNU compression utilities
sug: p7zip

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

XZ-format compression utilities

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]