Balík: boolector (1.5.118.6b56be4.121013-1.3) [debports]

Odkazy pre boolector

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Domovská stránka [fmv.jku.at]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom boolector

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.34)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb

Stiahnuť boolector

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
sparc64 (neoficiálny port)	249.9 kB	1,044.0 kB	[zoznam súborov]