всички настройки
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.

Етикети: Implemented in: C, Role: Program

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

  • зависимости
  • препоръчани
  • предложени
  • enhances

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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
i386 1.5.118.6b56be4.121013-1+b1 308,1 кБ878,0 кБ [списък на файловете]