全部搜尋項
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

原始碼套件:picosat(965-2)

picosat 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
picosat
SAT solver with proof and core support

其他與 picosat 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

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 套件原始碼倉庫(VCSGit
https://salsa.debian.org/science-team/picosat.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/science-team/picosat