全部搜尋項
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 原始碼： python-pycosat  ]

套件：python3-pycosat（0.6.6+dfsg-2 以及其他的）

python3-pycosat 的相關連結

Screenshot

Debian 的資源：

下載原始碼套件 python-pycosat：

維護小組：

外部的資源：

相似套件：

Python bindings to picosat

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

其他與 python3-pycosat 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 python3-pycosat

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
alpha （非官方移植版） 0.6.6+dfsg-2+b2 12。3 kB101。0 kB [檔案列表]
amd64 0.6.6+dfsg-2+b2 12。3 kB53。0 kB [檔案列表]
arm64 0.6.6+dfsg-2+b2 12。3 kB101。0 kB [檔案列表]
armel 0.6.6+dfsg-2+b2 11。8 kB100。0 kB [檔案列表]
armhf 0.6.6+dfsg-2+b2 11。8 kB100。0 kB [檔案列表]
hppa （非官方移植版） 0.6.6+dfsg-2+b2 12。5 kB49。0 kB [檔案列表]
i386 0.6.6+dfsg-2+b2 12。5 kB48。0 kB [檔案列表]
ia64 （非官方移植版） 0.6.6+dfsg-1+b1 13。7 kB68。0 kB [檔案列表]
m68k （非官方移植版） 0.6.6+dfsg-2+b2 11。8 kB44。0 kB [檔案列表]
mips64el 0.6.6+dfsg-2+b2 12。2 kB102。0 kB [檔案列表]
ppc64 （非官方移植版） 0.6.6+dfsg-2+b2 12。8 kB101。0 kB [檔案列表]
ppc64el 0.6.6+dfsg-2+b2 12。6 kB101。0 kB [檔案列表]
riscv64 0.6.6+dfsg-2+b2 12。1 kB49。0 kB [檔案列表]
s390x 0.6.6+dfsg-2+b2 12。2 kB49。0 kB [檔案列表]
sh4 （非官方移植版） 0.6.6+dfsg-2+b2 12。2 kB100。0 kB [檔案列表]
sparc64 （非官方移植版） 0.6.6+dfsg-2+b2 12。0 kB1，062。0 kB [檔案列表]
x32 （非官方移植版） 0.6.6+dfsg-2+b2 12。2 kB48。0 kB [檔案列表]