全部搜索项
trixie  ] [  sid  ]
[ 源代码: kissat  ]

软件包:kissat(4.0.2-1 以及其他的)

kissat 的相关链接

Screenshot

Debian 的资源:

下载源码包 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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 kissat

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
alpha (非官方移植版) 4.0.1-3 316.2 kB1,107.0 kB [文件列表]
amd64 4.0.2-1 349.9 kB971.0 kB [文件列表]
arm64 4.0.2-1 307.7 kB916.0 kB [文件列表]
armel 4.0.2-1 328.7 kB979.0 kB [文件列表]
armhf 4.0.2-1 331.3 kB787.0 kB [文件列表]
hppa (非官方移植版) 4.0.2-1 332.5 kB935.0 kB [文件列表]
i386 4.0.2-1 355.9 kB1,066.0 kB [文件列表]
m68k (非官方移植版) 4.0.2-1 321.6 kB970.0 kB [文件列表]
mips64el 4.0.2-1 302.7 kB1,065.0 kB [文件列表]
ppc64 (非官方移植版) 4.0.2-1 340.9 kB1,172.0 kB [文件列表]
ppc64el 4.0.2-1 339.6 kB1,108.0 kB [文件列表]
riscv64 4.0.1-3 351.7 kB807.0 kB [文件列表]
s390x 4.0.1-3 339.3 kB936.0 kB [文件列表]
sh4 (非官方移植版) 4.0.2-1 413.3 kB850.0 kB [文件列表]
sparc64 (非官方移植版) 4.0.2-1 302.0 kB1,044.0 kB [文件列表]
x32 (非官方移植版) 4.0.2-1 351.7 kB938.0 kB [文件列表]