Paket: python3-pycosat (0.6.6+dfsg-1 ve diğerleri) [debports]
python3-pycosat için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Python bindings to picosat
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.
python3-pycosat ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6.1 (>= 2.37)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb
-
- dep: picosat (>= 953)
- SAT solver with proof and core support
-
- dep: python3 (<< 3.13)
- interactive high-level object-oriented language (default python3 version)
- dep: python3 (>= 3.11~)
python3-pycosat indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
ia64 (resmi olmayan port) | 0.6.6+dfsg-1+b1 | 13,7 kB | 68,0 kB | [dosya listesi] |