[ trixie ] [ sid ]

源码包：kissat（4.0.2-1）

kissat 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [fmv.jku.at]

本源码包构建了以下这些二进制包：

kissat: Keep it simple and clean bare metal SAT solver

其他与 kissat 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 13)

软件包暂时不可用
adep: drat-trim

DART-trim satisfiability proof checker (binary utils)
adep: help2man

Automatic manpage generator

Download kissat

文件	大小（单位：kB）	MD5 校验码
kissat_4.0.2-1.dsc	1.9 kB	a377da95e56618601a81d148f3c02369
kissat_4.0.2.orig.tar.gz	519.5 kB	28113d8c449bd5247e18f13a79323320
kissat_4.0.2-1.debian.tar.xz	4.4 kB	e116e9e7840dde65dc4b353fbb7a97ed

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/science-team/kissat.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/science-team/kissat