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

源码包：picosat（960-1）

picosat 的相关链接

Debian 的资源：

维护者：

Michael Tautschnig (QA 页面)

外部的资源：

主页 [fmv.jku.at]

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

picosat: SAT solver with proof and core support

其他与 picosat 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper (>= 7.0.50~)

用于 debian/rules 的帮助程序

Download picosat

文件	大小（单位：kB）	MD5 校验码
picosat_960-1.dsc	1.7 kB	525c9c8d824a2e61b366ae28ef4b4a6e
picosat_960.orig.tar.gz	61.8 kB	bee515cd9fd12ffaffab10b3587aa833
picosat_960-1.debian.tar.xz	6.0 kB	319a15a4277a2f91cca97d1e4b44e812