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

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

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

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

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

  dep: libc6 (>= 2.4) [не arm64, ppc64el]

• dep: picosat (>= 953)

  SAT solver with proof and core support

• dep: python3 (<< 3.10)

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

  dep: python3 (>= 3.9~)

Изтегляне на python3-pycosat

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.6.3+dfsg-1+b4	10,9 кБ	51,0 кБ	[списък на файловете]
arm64	0.6.3+dfsg-1+b4	10,8 кБ	47,0 кБ	[списък на файловете]
armel	0.6.3+dfsg-1+b4	10,3 кБ	42,0 кБ	[списък на файловете]
armhf	0.6.3+dfsg-1+b4	10,3 кБ	42,0 кБ	[списък на файловете]
i386	0.6.3+dfsg-1+b4	11,1 кБ	46,0 кБ	[списък на файловете]
mips64el	0.6.3+dfsg-1+b4	10,8 кБ	48,0 кБ	[списък на файловете]
mipsel	0.6.3+dfsg-1+b4	10,6 кБ	43,0 кБ	[списък на файловете]
ppc64el	0.6.3+dfsg-1+b4	11,2 кБ	99,0 кБ	[списък на файловете]
s390x	0.6.3+dfsg-1+b4	10,8 кБ	47,0 кБ	[списък на файловете]