套件：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

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

硬體架構	套件大小	安裝後大小	檔案
riscv64	351。7 kB	807。0 kB	[檔案列表]