Пакет: 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: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

Загрузка boolector

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
m68k (неофициальный перенос)	236,0 Кб	705,0 Кб	[список файлов]