[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

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

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

Връзки за boolector

Ресурси за Debian:

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

Отговорник:

Michael Tautschnig (Страница за QA)

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

Начална страница [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.

Етикети: Implemented in: C, Role: Program

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

зависимости

препоръчани

предложени

enhances

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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 кБ	[списък на файловете]
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 кБ	[списък на файловете]