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

Пакет: libcryptominisat5-5.11t64 (5.11.21+dfsg1-3)

Връзки за libcryptominisat5-5.11t64

Screenshot

Ресурси за Debian:

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

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

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

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

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

Други пакети, свързани с libcryptominisat5-5.11t64

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

Изтегляне на libcryptominisat5-5.11t64

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 508,9 кБ1 368,0 кБ [списък на файловете]
arm64 460,6 кБ1 304,0 кБ [списък на файловете]
armhf 462,6 кБ983,0 кБ [списък на файловете]
i386 535,4 кБ1 415,0 кБ [списък на файловете]
ppc64el 542,8 кБ1 688,0 кБ [списък на файловете]
riscv64 534,3 кБ1 143,0 кБ [списък на файловете]
s390x 534,0 кБ1 495,0 кБ [списък на файловете]