パッケージ: python3-pycosat (0.6.3+dfsg-3build1)

python3-pycosat に関するリンク

Trisquel の資源:

• Install using apturl
• Entry at directory.fsf.org
• バグ報告
• Changelog
• 著作権ファイル

python-pycosat ソースパッケージをダウンロード:

• [python-pycosat_0.6.3+dfsg-3build1.dsc]
• [python-pycosat_0.6.3+dfsg.orig.tar.xz]
• [python-pycosat_0.6.3+dfsg-3build1.debian.tar.xz]

メンテナ:

• Debian Med Packaging Team (メールアーカイブ)

Original Maintainers:

• Debian Med Packaging Team (メールアーカイブ)
• Andreas Tille

外部の資源:

• ホームページ [github.com]

類似のパッケージ:

• python3-cryptominisat
• sat4j
• minisat
• libcryptominisat5-dev
• cryptominisat
• clasp
• libcryptominisat5-5.8
• libassimp5
• libassimp4
• python-miniupnpc
• python3-miniupnpc

その他の python3-pycosat 関連パッケージ

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  GNU C Library: Shared libraries
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

  dep: libc6 (>= 2.4) [amd64, armhf]

• dep: picosat (>= 953)

  SAT solver with proof and core support

• dep: python3 (<< 3.11)

  interactive high-level object-oriented language (default python3 version)

  dep: python3 (>= 3.10~)

python3-pycosat のダウンロード