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

Links for boolector

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [fmv.jku.at]

Similar packages:

libcvc4-7
libcvc4-4
libcvc4-5
libcvc4parser7
libcvc4parser4
libcvc4parser5
cvc4
libcvc4-dev
libsymfpu-dev
haskell-what4-utils
libcvc5-1

risolutore SMT per vettori di bit e array

Boolector è un efficiente risolutore SMT per la teoria libera da quantificatori dei vettori di bit in combinazione con la teoria degli array con estensionalità libera da quantificatori.

Other Packages Related to boolector

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.35)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb

Download boolector

Download for all available architectures
Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	391.7 kB	1,800.0 kB	[list of files]