Paket: python3-pycosat (0.6.6+dfsg-2 ve diğerleri) [debports]

python3-pycosat için bağlantılar

Debian Kaynakları:

Hata Raporları

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6 (>= 2.40)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: picosat (>= 953)

SAT solver with proof and core support
dep: python3 (<< 3.14)

interactive high-level object-oriented language (default python3 version)

dep: python3 (>= 3.13~)

python3-pycosat indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
sh4 (resmi olmayan port)	0.6.6+dfsg-2+b2	12,2 kB	100,0 kB	[dosya listesi]