套件：kissat（4.0.1-3）

[ 原始碼： 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.

其他與 kissat 有關的套件

• dep: libc6 (>= 2.34)

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

• sug: bzip2

  high-quality block-sorting file compressor - utilities

• sug: gzip (>= 1)

  GNU compression utilities

• sug: p7zip

  transitional package
  同時作為一個虛擬套件由這些套件填實： 7zip

• sug: xz-utils

  XZ-format compression utilities

下載 kissat

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
amd64	349。1 kB	967。0 kB	[檔案列表]
arm64	307。5 kB	916。0 kB	[檔案列表]
armel	328。8 kB	963。0 kB	[檔案列表]
armhf	330。8 kB	727。0 kB	[檔案列表]
i386	355。9 kB	1，062。0 kB	[檔案列表]
mips64el	301。7 kB	1，001。0 kB	[檔案列表]
ppc64el	339。0 kB	1，108。0 kB	[檔案列表]
riscv64	351。7 kB	807。0 kB	[檔案列表]
s390x	339。3 kB	936。0 kB	[檔案列表]