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

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

Ссылки для 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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
armhf 255,6 Кб529,0 Кб [список файлов]