[ trixie ] [ sid ]

[ Источник: cryptominisat ]

Пакет: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 и другие)

Ссылки для libcryptominisat5-5.11t64

Ресурсы Debian:

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

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

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

Сайт [www.msoos.org]

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

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

dep: libc6 (>= 2.34)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, s390x]

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

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

dep: libgcc-s1 (>= 3.4.4) [ppc64el]

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

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

стандартная библиотека GNU C++ версии 3

Загрузка libcryptominisat5-5.11t64

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	5.11.21+dfsg1-1+b1	491,8 Кб	1 305,0 Кб	[список файлов]
arm64	5.11.21+dfsg1-1+b1	450,2 Кб	1 304,0 Кб	[список файлов]
armel	5.11.21+dfsg1-1+b1	438,4 Кб	1 252,0 Кб	[список файлов]
armhf	5.11.21+dfsg1-1+b1	457,6 Кб	924,0 Кб	[список файлов]
i386	5.11.21+dfsg1-1+b1	518,0 Кб	1 352,0 Кб	[список файлов]
mips64el	5.11.21+dfsg1-1+b1	463,9 Кб	1 639,0 Кб	[список файлов]
ppc64el	5.11.21+dfsg1-1+b1	531,3 Кб	1 689,0 Кб	[список файлов]
riscv64	5.11.21+dfsg1-1+b1	527,1 Кб	1 144,0 Кб	[список файлов]
s390x	5.11.21+dfsg1-1+b1	526,7 Кб	1 492,0 Кб	[список файлов]