Pakiet: kissat (4.0.2-1) [debports]

[ Pakiet źródłowy:  ]

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

• dep: libc6 (>= 2.40)

  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

  Pakiet przejściowy
  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
sh4 (port nieoficjalny)	413,3 KiB	850,0 KiB	[lista plików]