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

Links for boolector

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

External Resources:

Kotisivu [fmv.jku.at]

Samankaltaisia paketteja:

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.

Muut pakettiin boolector liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb

Imuroi boolector

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
ppc64 (epävirallinen siirros)	301.6 kt	1,043.0 kt	[tiedostoluettelo]