[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：picosat（965-2）

picosat 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [fmv.jku.at]

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

picosat: SAT solver with proof and core support

其他与 picosat 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 12)

软件包暂时不可用
adep: dh-exec

Scripts to help with executable debhelper files

Download picosat

文件	大小（单位：kB）	MD5 校验码
picosat_965-2.dsc	1.9 kB	eaabbfd06273f9bdf634bc8ab5c4e47e
picosat_965.orig.tar.gz	62.9 kB	d37c236d5c60b03d888d137c2fa4285f
picosat_965-2.debian.tar.xz	6.2 kB	32b6d30566f2e455794f6355b0e8540a

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