[ 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