源码包:python-pycosat(0.6.6+dfsg-2)
本源码包构建了以下这些二进制包:
- 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 Distutils Enhancements
-
- adep: picosat
- SAT solver with proof and core support
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