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

[ Source:  ]

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

• dep: libc6 (>= 2.34)

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

Download boolector

Download for all available architectures

Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	249.9 kB	1,044.0 kB	[list of files]