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

原始碼套件:picosat(960-1)

picosat 的相關連結

Debian 的資源:

維護者:

外部的資源:

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

其他與 picosat 有關的套件

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

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