Пакет: cryptominisat (5.11.21+dfsg1-2)

Ссылки для cryptominisat

Ресурсы Debian:

Исходный код cryptominisat:

Сопровождающие:

Внешние ресурсы:

Сайт [www.msoos.org]

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

SAT solver command line interface

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

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

Другие пакеты, относящиеся к cryptominisat

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.38)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.0) [amd64, arm64, ppc64el, s390x]

вспомогательная библиотека GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

стандартная библиотека GNU C++ версии 3
dep: zlib1g (>= 1:1.1.4) [не armel, armhf]

библиотека сжатия

dep: zlib1g (>= 1:1.2.3.3) [armel, armhf]

Загрузка cryptominisat

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	89,3 Кб	304,0 Кб	[список файлов]
arm64	79,3 Кб	288,0 Кб	[список файлов]
armel	78,7 Кб	287,0 Кб	[список файлов]
armhf	81,6 Кб	223,0 Кб	[список файлов]
i386	95,4 Кб	311,0 Кб	[список файлов]
ppc64el	88,7 Кб	352,0 Кб	[список файлов]
riscv64	87,4 Кб	268,0 Кб	[список файлов]
s390x	85,6 Кб	308,0 Кб	[список файлов]