[ 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)

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

Hämta boolector

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
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]
i386	1.5.118.6b56be4.121013-1.3	312,1 kbyte	889,0 kbyte	[filförteckning]
mips64el	1.5.118.6b56be4.121013-1.3	272,8 kbyte	878,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]