[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Kaynak: python-pycosat ]

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

python3-pycosat için bağlantılar

Debian Kaynakları:

python-pycosat Kaynak Paketini İndir:

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.17) [arm64, ppc64el]

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [arm64, ppc64el, riscv64 değil]
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
amd64	0.6.6+dfsg-2+b2	12,3 kB	53,0 kB	[dosya listesi]
arm64	0.6.6+dfsg-2+b2	12,3 kB	101,0 kB	[dosya listesi]
armel	0.6.6+dfsg-2+b2	11,8 kB	100,0 kB	[dosya listesi]
armhf	0.6.6+dfsg-2+b2	11,8 kB	100,0 kB	[dosya listesi]
i386	0.6.6+dfsg-2+b2	12,5 kB	48,0 kB	[dosya listesi]
mips64el	0.6.6+dfsg-2+b2	12,2 kB	102,0 kB	[dosya listesi]
ppc64el	0.6.6+dfsg-2+b2	12,6 kB	101,0 kB	[dosya listesi]
riscv64	0.6.6+dfsg-2+b2	12,1 kB	49,0 kB	[dosya listesi]
s390x	0.6.6+dfsg-2+b2	12,2 kB	49,0 kB	[dosya listesi]