всички настройки
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: python-pycosat  ]

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

Връзки за python3-pycosat

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник 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

  • зависимости
  • препоръчани
  • предложени
  • enhances

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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 0.6.6+dfsg-2+b2 12,3 кБ101,0 кБ [списък на файловете]
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 кБ [списък на файловете]
hppa (неофициална архитектура) 0.6.6+dfsg-2+b2 12,5 кБ49,0 кБ [списък на файловете]
i386 0.6.6+dfsg-2+b2 12,5 кБ48,0 кБ [списък на файловете]
ia64 (неофициална архитектура) 0.6.6+dfsg-1+b1 13,7 кБ68,0 кБ [списък на файловете]
m68k (неофициална архитектура) 0.6.6+dfsg-2+b2 11,8 кБ44,0 кБ [списък на файловете]
mips64el 0.6.6+dfsg-2+b2 12,2 кБ102,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 0.6.6+dfsg-2+b2 12,8 кБ101,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 кБ [списък на файловете]
sh4 (неофициална архитектура) 0.6.6+dfsg-2+b2 12,2 кБ100,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 0.6.6+dfsg-2+b2 12,0 кБ1 062,0 кБ [списък на файловете]
x32 (неофициална архитектура) 0.6.6+dfsg-2+b2 12,2 кБ48,0 кБ [списък на файловете]