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

[ Källkod: boolector  ]

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

• 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]