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

[ Източник: python-pycosat ]

Пакет: python3-pycosat (0.6.6+dfsg-2 и други)

Връзки за python3-pycosat

Ресурси за Debian:

Изтегляне на пакет-източник python-pycosat.

Отговорници:

Външни препратки:

Начална страница [github.com]

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [не arm64, ppc64el, riscv64]
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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.6.6+dfsg-2+b2	12,3 кБ	53,0 кБ	[списък на файловете]
arm64	0.6.6+dfsg-2+b2	12,3 кБ	101,0 кБ	[списък на файловете]
armel	0.6.6+dfsg-2+b2	11,8 кБ	100,0 кБ	[списък на файловете]
armhf	0.6.6+dfsg-2+b2	11,8 кБ	100,0 кБ	[списък на файловете]
i386	0.6.6+dfsg-2+b2	12,5 кБ	48,0 кБ	[списък на файловете]
mips64el	0.6.6+dfsg-2+b2	12,2 кБ	102,0 кБ	[списък на файловете]
ppc64el	0.6.6+dfsg-2+b2	12,6 кБ	101,0 кБ	[списък на файловете]
riscv64	0.6.6+dfsg-2+b2	12,1 кБ	49,0 кБ	[списък на файловете]
s390x	0.6.6+dfsg-2+b2	12,2 кБ	49,0 кБ	[списък на файловете]