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

[ Källkod: boolector ]

Paket: boolector (1.5.118.6b56be4.121013-1.3 och andra)

Länkar för boolector

Debianresurser:

Hämta källkodspaketet boolector:

Ansvarig:

Michael Tautschnig (QA-sida)

Externa resurser:

Hemsida [fmv.jku.at]

Liknande paket:

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.

Märken: Implemented in: C, Role: Program

Andra paket besläktade med boolector

beror

rekommenderar

föreslår

enhances

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

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

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6.1-udeb

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

Hämta boolector

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	290,0 kbyte	979,0 kbyte	[filförteckning]
amd64	1.5.118.6b56be4.121013-1.3	301,8 kbyte	786,0 kbyte	[filförteckning]
arm64	1.5.118.6b56be4.121013-1.3	257,9 kbyte	786,0 kbyte	[filförteckning]
armel	1.5.118.6b56be4.121013-1.3	249,4 kbyte	721,0 kbyte	[filförteckning]
armhf	1.5.118.6b56be4.121013-1.3	255,6 kbyte	529,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	282,6 kbyte	803,0 kbyte	[filförteckning]
i386	1.5.118.6b56be4.121013-1.3	312,1 kbyte	889,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	391,7 kbyte	1.800,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	236,0 kbyte	705,0 kbyte	[filförteckning]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 kbyte	878,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	301,6 kbyte	1.043,0 kbyte	[filförteckning]
ppc64el	1.5.118.6b56be4.121013-1.3	310,1 kbyte	978,0 kbyte	[filförteckning]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301,6 kbyte	611,0 kbyte	[filförteckning]
s390x	1.5.118.6b56be4.121013-1.3	279,7 kbyte	890,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	300,1 kbyte	593,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	249,9 kbyte	1.044,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	1.5.118.6b56be4.121013-1.3	294,7 kbyte	761,0 kbyte	[filförteckning]