[ bullseye ] [ bookworm ] [ trixie ] [ forky ] [ sid ]

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

Пакет: boolector (1.5.118.6b56be4.121013-1.3 и другие)

Ссылки для boolector

Ресурсы Debian:

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

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

Michael Tautschnig (Страница КК)

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

Сайт [fmv.jku.at]

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

SMT solver for bit-vectors and arrays

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.

Теги: Реализовано на: C, Роль: Программа

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

зависимости

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

предложения

enhances

dep: libc6 (>= 2.34) [не alpha, ia64, loong64, sh4]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

dep: libc6 (>= 2.36) [loong64, sh4]
dep: libc6.1 (>= 2.33) [alpha]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6.1-udeb

dep: libc6.1 (>= 2.35) [ia64]

Загрузка boolector

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	290,0 Кб	979,0 Кб	[список файлов]
amd64	1.5.118.6b56be4.121013-1.3	301,8 Кб	786,0 Кб	[список файлов]
arm64	1.5.118.6b56be4.121013-1.3	257,9 Кб	786,0 Кб	[список файлов]
armel	1.5.118.6b56be4.121013-1.3	249,4 Кб	721,0 Кб	[список файлов]
armhf	1.5.118.6b56be4.121013-1.3	255,6 Кб	529,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	282,6 Кб	803,0 Кб	[список файлов]
i386	1.5.118.6b56be4.121013-1.3	312,1 Кб	889,0 Кб	[список файлов]
ia64 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	391,7 Кб	1 800,0 Кб	[список файлов]
loong64 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	271,0 Кб	754,0 Кб	[список файлов]
m68k (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	236,0 Кб	705,0 Кб	[список файлов]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 Кб	878,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	301,6 Кб	1 043,0 Кб	[список файлов]
ppc64el	1.5.118.6b56be4.121013-1.3	310,1 Кб	978,0 Кб	[список файлов]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301,6 Кб	611,0 Кб	[список файлов]
s390x	1.5.118.6b56be4.121013-1.3	279,7 Кб	890,0 Кб	[список файлов]
sh4 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	300,1 Кб	593,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	249,9 Кб	1 044,0 Кб	[список файлов]
x32 (неофициальный перенос)	1.5.118.6b56be4.121013-1.3	294,7 Кб	761,0 Кб	[список файлов]