Skip to content
Sections
>> Trisquel >> 套件 >> nabia >> 原始碼 >> misc >> python-pycosat
nabia  ] [  aramo  ]

原始碼套件: python-pycosat (0.6.3+dfsg-1build1)

python-pycosat 的相關超連結

Trisquel 的資源:

維護者:

Original Maintainers:

外部的資源:

本原始碼套件構建了以下這些二進制套件:
python3-pycosat
Python bindings to picosat

其他與 python-pycosat 有關的套件

  • 完整構建時刻依賴
  • 單獨構建時刻依賴
  • adep: debhelper-compat (= 12)
    套件暫時不可用
  • adep: dh-python
    Debian helper tools for packaging Python libraries and applications
  • 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-1build1.dsc 2.1 kB 139cdb60aef39122f5cbdcdfabc6a5fb
python-pycosat_0.6.3+dfsg.orig.tar.xz 10.4 kB 91b837103124448cd6e1bc667d7a9034
python-pycosat_0.6.3+dfsg-1build1.debian.tar.xz 2.8 kB bd8c345888c408ab9cb56780af045ee2
Debian 套件原始碼倉庫(VCS: Git)
https://salsa.debian.org/med-team/python-pycosat.git
Debian 套件原始碼倉庫(可在線瀏覽)
https://salsa.debian.org/med-team/python-pycosat