[ 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

SAT solver with proof and core support

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