[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

ソースパッケージ: python-pycosat (0.6.6+dfsg-2)

python-pycosat に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [github.com]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

python3-pycosat: Python bindings to picosat

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

構築依存	構築依存 (アーキテクチャ非依存)

adep: debhelper-compat (= 13)

パッケージは利用できません
adep: dh-sequence-python3

以下のパッケージによって提供される仮想パッケージです: dh-python
adep: python3-all-dev

package depending on all supported Python 3 development packages
adep: python3-setuptools

Python3 用配布用ユーティリティへの機能強化
adep: picosat

proof と core サポート付き SAT ソルバ

Download python-pycosat

ファイル	サイズ (単位: kB)	MD5 チェックサム
python-pycosat_0.6.6+dfsg-2.dsc	2.1 kB	e16ed821283270953782666c65b9cc07
python-pycosat_0.6.6+dfsg.orig.tar.xz	28.3 kB	039f700026038bf5e9cc57093cd94d1b
python-pycosat_0.6.6+dfsg-2.debian.tar.xz	3.1 kB	23854d2c9a7e101804b4223298a61b48

Debian パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/med-team/python-pycosat.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/med-team/python-pycosat