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

Пакет: python3-pycosat (0.6.4+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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
mips64el 0.6.4+dfsg-1+b1 11,4 кБ100,0 кБ [списък на файловете]