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

Verwijzigingen voor boolector

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [fmv.jku.at]

Vergelijkbare pakketten:

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

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.

Andere aan boolector gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.35)

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb

boolector downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ia64 (unofficial port)	391,7 kB	1.800,0 kB	[overzicht]