すべてのオプション
[  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 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

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 [ファイル一覧]