[ trixie ]
[ sid ]
[ 源代码: kissat ]
软件包:kissat(4.0.2-1 以及其他的)
kissat 的相关链接
Debian 的资源:
下载源码包 kissat:
维护小组:
外部的资源:
- 主页 [fmv.jku.at]
相似软件包:
- qml-module-org-kde-kirigami-addons-labs-components
- qml-module-org-kde-kirigami-addons-treeview
- qml-module-org-kde-kirigami-addons-labs-mobileform
- qml-module-org-kde-kirigami-addons-datetime
- qml-module-org-kde-kirigami-addons-components
- qml-module-org-kde-kirigami-addons-delegates
- qml-module-org-kde-kirigami-addons-formcard
- qml-module-org-kde-kirigami-addons-settings
- qml-module-org-kde-kirigami-addons-sounds
- kirigami-addons5-data
- qml6-module-org-kde-kirigamiaddons-sounds
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) [除 alpha, sh4]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
- dep: libc6 (>= 2.40) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6.1-udeb
下载 kissat
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
alpha (非官方移植版) | 4.0.1-3 | 316.2 kB | 1,107.0 kB | [文件列表] |
amd64 | 4.0.2-1 | 349.9 kB | 971.0 kB | [文件列表] |
arm64 | 4.0.2-1 | 307.7 kB | 916.0 kB | [文件列表] |
armel | 4.0.2-1 | 328.7 kB | 979.0 kB | [文件列表] |
armhf | 4.0.2-1 | 331.3 kB | 787.0 kB | [文件列表] |
hppa (非官方移植版) | 4.0.2-1 | 332.5 kB | 935.0 kB | [文件列表] |
i386 | 4.0.2-1 | 355.9 kB | 1,066.0 kB | [文件列表] |
m68k (非官方移植版) | 4.0.2-1 | 321.6 kB | 970.0 kB | [文件列表] |
mips64el | 4.0.2-1 | 302.7 kB | 1,065.0 kB | [文件列表] |
ppc64 (非官方移植版) | 4.0.2-1 | 340.9 kB | 1,172.0 kB | [文件列表] |
ppc64el | 4.0.2-1 | 339.6 kB | 1,108.0 kB | [文件列表] |
riscv64 | 4.0.1-3 | 351.7 kB | 807.0 kB | [文件列表] |
s390x | 4.0.1-3 | 339.3 kB | 936.0 kB | [文件列表] |
sh4 (非官方移植版) | 4.0.2-1 | 413.3 kB | 850.0 kB | [文件列表] |
sparc64 (非官方移植版) | 4.0.2-1 | 302.0 kB | 1,044.0 kB | [文件列表] |
x32 (非官方移植版) | 4.0.2-1 | 351.7 kB | 938.0 kB | [文件列表] |