все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: boolector  ]

Пакет: boolector (1.5.118.6b56be4.121013-1 и другие)

Ссылки для boolector

Screenshot

Ресурсы Debian:

Исходный код boolector:

Сопровождающий:

Внешние ресурсы:

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

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.

Теги: Реализовано на: C, Роль: Программа

Другие пакеты, относящиеся к boolector

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка boolector

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 1.5.118.6b56be4.121013-1+b1 296,8 Кб783,0 Кб [список файлов]
arm64 1.5.118.6b56be4.121013-1+b1 240,8 Кб695,0 Кб [список файлов]
armhf 1.5.118.6b56be4.121013-1+b1 253,0 Кб510,0 Кб [список файлов]
i386 1.5.118.6b56be4.121013-1+b1 308,1 Кб878,0 Кб [список файлов]