>> Trisquel >> 套件 >> nabia >> 原始碼 >> science >> picosat

[ etiona ] [ nabia ] [ aramo ]

原始碼套件： picosat (965-1)

picosat 的相關超連結

Trisquel 的資源：

維護者：

Debian Science Team (郵件存檔)

Original Maintainers:

Debian Science Team (郵件存檔)
Michael Tautschnig

外部的資源：

主頁 [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-1.dsc	1.9 kB	5a8ea634497575bdbed85c8100876058
picosat_965.orig.tar.gz	62.9 kB	d37c236d5c60b03d888d137c2fa4285f
picosat_965-1.debian.tar.xz	5.8 kB	cf98cde8f10666f6e9c3ba73702c22d5

Debian 套件原始碼倉庫(VCS: Git): https://salsa.debian.org/science-team/picosat.git
Debian 套件原始碼倉庫(可在線瀏覽): https://salsa.debian.org/science-team/picosat