Пакет: boolector (1.5.118.6b56be4.121013-1.3) [debports]

Връзки за boolector

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

Няма съвпадения

Отговорници:

Външни препратки:

Начална страница [fmv.jku.at]

Подобни пакети:

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.

Други пакети, свързани с boolector

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb

Изтегляне на boolector

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
ppc64 (неофициална архитектура)	301,6 кБ	1 043,0 кБ	[списък на файловете]