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

Пакет: python3-cryptominisat (5.11.21+dfsg1-3 и други)

Връзки за python3-cryptominisat

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник cryptominisat.

Отговорници:

Външни препратки:

Подобни пакети:

Python bindings for the CryptoMiniSat SAT solver (Python 3)

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.

Други пакети, свързани с python3-cryptominisat

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

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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 5.11.21+dfsg1-3+b1 584,4 кБ1 714,0 кБ [списък на файловете]
arm64 5.11.21+dfsg1-3+b1 523,6 кБ1 614,0 кБ [списък на файловете]
armhf 5.11.21+dfsg1-3+b1 528,1 кБ1 292,0 кБ [списък на файловете]
i386 5.11.21+dfsg1-3+b1 634,1 кБ1 836,0 кБ [списък на файловете]
ppc64el 5.11.21+dfsg1-3+b1 624,5 кБ1 998,0 кБ [списък на файловете]
riscv64 5.11.21+dfsg1-3+b1 604,7 кБ1 425,0 кБ [списък на файловете]
s390x 5.11.21+dfsg1-3+b1 600,0 кБ1 793,0 кБ [списък на файловете]