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

ソースパッケージ: python-pycosat (0.6.3+dfsg-1)

python-pycosat に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [pypi.org]

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

python3-pycosat: Python bindings to picosat

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

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

adep: debhelper-compat (= 12)

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

Python のライブラリやアプリケーションのパッケージ作業用 Debian ヘルパーツール
adep: python3-all-dev

package depending on all supported Python 3 development packages
adep: picosat

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

Download python-pycosat

ファイル	サイズ (単位: kB)	MD5 チェックサム
python-pycosat_0.6.3+dfsg-1.dsc	2.1 kB	de8df18df5b9c6856c3aece9d3fc4b24
python-pycosat_0.6.3+dfsg.orig.tar.xz	10.4 kB	91b837103124448cd6e1bc667d7a9034
python-pycosat_0.6.3+dfsg-1.debian.tar.xz	2.7 kB	8a9ec04f6aad5576c6292eaf347af931

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