Paket: boolector (1.5.118.6b56be4.121013-1.3) [debports]

[ Källkod:  ]

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.

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	Paketstorlek	Installerad storlek	Filer
x32 (inofficiell anpassning)	294,7 kbyte	761,0 kbyte	[filförteckning]