すべてのオプション
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: python-pycosat  ]

パッケージ: python3-pycosat (0.6.3+dfsg-1 など)

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 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 0.6.3+dfsg-1+b4 10.9 kB51.0 kB [ファイル一覧]
arm64 0.6.3+dfsg-1+b4 10.8 kB47.0 kB [ファイル一覧]
armel 0.6.3+dfsg-1+b4 10.3 kB42.0 kB [ファイル一覧]
armhf 0.6.3+dfsg-1+b4 10.3 kB42.0 kB [ファイル一覧]
i386 0.6.3+dfsg-1+b4 11.1 kB46.0 kB [ファイル一覧]
mips64el 0.6.3+dfsg-1+b4 10.8 kB48.0 kB [ファイル一覧]
mipsel 0.6.3+dfsg-1+b4 10.6 kB43.0 kB [ファイル一覧]
ppc64el 0.6.3+dfsg-1+b4 11.2 kB99.0 kB [ファイル一覧]
s390x 0.6.3+dfsg-1+b4 10.8 kB47.0 kB [ファイル一覧]