все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  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+b3 13,0 Кб168,0 Кб [список файлов]
amd64 0.6.6+dfsg-2+b3 12,9 Кб72,0 Кб [список файлов]
arm64 0.6.6+dfsg-2+b3 12,6 Кб168,0 Кб [список файлов]
armhf 0.6.6+dfsg-2+b3 12,4 Кб166,0 Кб [список файлов]
hppa (неофициальный перенос) 0.6.6+dfsg-2+b3 12,7 Кб64,0 Кб [список файлов]
i386 0.6.6+dfsg-2+b3 13,0 Кб62,0 Кб [список файлов]
ia64 (неофициальный перенос) 0.6.6+dfsg-1+b1 13,7 Кб68,0 Кб [список файлов]
loong64 0.6.6+dfsg-2+b3 12,8 Кб168,0 Кб [список файлов]
m68k (неофициальный перенос) 0.6.6+dfsg-2+b3 12,1 Кб54,0 Кб [список файлов]
ppc64 (неофициальный перенос) 0.6.6+dfsg-2+b3 13,1 Кб168,0 Кб [список файлов]
ppc64el 0.6.6+dfsg-2+b3 12,9 Кб168,0 Кб [список файлов]
riscv64 0.6.6+dfsg-2+b3 12,8 Кб64,0 Кб [список файлов]
s390x 0.6.6+dfsg-2+b3 12,9 Кб64,0 Кб [список файлов]
sh4 (неофициальный перенос) 0.6.6+dfsg-2+b3 12,9 Кб166,0 Кб [список файлов]
sparc64 (неофициальный перенос) 0.6.6+dfsg-2+b3 12,8 Кб2 090,0 Кб [список файлов]
x32 (неофициальный перенос) 0.6.6+dfsg-2+b3 12,6 Кб62,0 Кб [список файлов]