все параметры
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: python-pycosat  ]

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

Ссылки для 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-1 12,8 Кб167,0 Кб [список файлов]
amd64 0.6.6+dfsg-1+b2 13,0 Кб72,0 Кб [список файлов]
arm64 0.6.6+dfsg-1+b2 13,0 Кб168,0 Кб [список файлов]
armel 0.6.6+dfsg-1+b2 12,3 Кб54,0 Кб [список файлов]
armhf 0.6.6+dfsg-1+b2 12,3 Кб54,0 Кб [список файлов]
hppa (неофициальный перенос) 0.6.6+dfsg-1+b1 13,2 Кб64,0 Кб [список файлов]
i386 0.6.6+dfsg-1+b2 13,2 Кб62,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.6.6+dfsg-1+b1 13,7 Кб68,0 Кб [список файлов]
m68k (неофициальный перенос) 0.6.6+dfsg-1+b1 12,5 Кб54,0 Кб [список файлов]
mips64el 0.6.6+dfsg-1+b2 12,8 Кб170,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.6.6+dfsg-1+b1 13,6 Кб168,0 Кб [список файлов]
ppc64el 0.6.6+dfsg-1+b2 13,4 Кб168,0 Кб [список файлов]
riscv64 0.6.6+dfsg-1+b2 12,8 Кб64,0 Кб [список файлов]
s390x 0.6.6+dfsg-1+b2 12,9 Кб64,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.6.6+dfsg-1+b1 13,1 Кб166,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.6.6+dfsg-1+b1 12,8 Кб2 090,0 Кб [список файлов]
x32 (неофициальный перенос) 0.6.6+dfsg-1+b1 13,0 Кб62,0 Кб [список файлов]