Paket: kissat (4.0.2-1)

[ Källkod: kissat  ]

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.

Andra paket besläktade med kissat

• dep: libc6 (>= 2.34) [ej alpha, loong64, sh4]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.40) [loong64, sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

• sug: bzip2

  high-quality block-sorting file compressor - utilities

• sug: gzip (>= 1)

  GNUs komprimeringsverktyg

• sug: p7zip

  transitional package
  också ett virtuellt paket som tillhandahålls av 7zip

• sug: xz-utils

  XZ-format compression utilities

Hämta kissat

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	316,5 kbyte	1.107,0 kbyte	[filförteckning]
amd64	349,9 kbyte	971,0 kbyte	[filförteckning]
arm64	307,7 kbyte	916,0 kbyte	[filförteckning]
armel	328,7 kbyte	979,0 kbyte	[filförteckning]
armhf	331,3 kbyte	787,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	332,5 kbyte	935,0 kbyte	[filförteckning]
i386	355,9 kbyte	1.066,0 kbyte	[filförteckning]
loong64 (inofficiell anpassning)	337,1 kbyte	915,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	321,6 kbyte	970,0 kbyte	[filförteckning]
mips64el	302,7 kbyte	1.065,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	340,9 kbyte	1.172,0 kbyte	[filförteckning]
ppc64el	339,6 kbyte	1.108,0 kbyte	[filförteckning]
riscv64	352,6 kbyte	811,0 kbyte	[filförteckning]
s390x	339,7 kbyte	940,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	413,3 kbyte	850,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	302,0 kbyte	1.044,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	351,7 kbyte	938,0 kbyte	[filförteckning]