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.16) [x32]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.2) [hppa]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [alpha, arm64, hppa, ia64, ppc64el, riscv64, sh4, x32 değil]

dep: libc6 (>= 2.40) [sh4]
dep: libc6.1 (>= 2.1.3) [alpha]

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

dep: libc6.1 (>= 2.37) [ia64]
dep: picosat (>= 953)

SAT solver with proof and core support
dep: python3 (<< 3.13) [ia64]

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

dep: python3 (<< 3.14) [ia64 değil]

dep: python3 (>= 3.11~) [ia64]

dep: python3 (>= 3.13~) [ia64 değil]

python3-pycosat indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	0.6.6+dfsg-2+b2	12,3 kB	101,0 kB	[dosya listesi]
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]
hppa (resmi olmayan port)	0.6.6+dfsg-2+b2	12,5 kB	49,0 kB	[dosya listesi]
i386	0.6.6+dfsg-2+b2	12,5 kB	48,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	0.6.6+dfsg-1+b1	13,7 kB	68,0 kB	[dosya listesi]
m68k (resmi olmayan port)	0.6.6+dfsg-2+b2	11,8 kB	44,0 kB	[dosya listesi]
mips64el	0.6.6+dfsg-2+b2	12,2 kB	102,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	0.6.6+dfsg-2+b2	12,8 kB	101,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]
sh4 (resmi olmayan port)	0.6.6+dfsg-2+b2	12,2 kB	100,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	0.6.6+dfsg-2+b2	12,0 kB	1.062,0 kB	[dosya listesi]
x32 (resmi olmayan port)	0.6.6+dfsg-2+b2	12,2 kB	48,0 kB	[dosya listesi]