[ 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~)

helper programs for 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