всички настройки
jessie  ] [  stretch  ] [  buster  ] [  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

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 1.5.118.6b56be4.121013-1 345,6 кБ863,0 кБ [списък на файловете]
amd64 1.5.118.6b56be4.121013-1+b1 296,8 кБ783,0 кБ [списък на файловете]
arm64 1.5.118.6b56be4.121013-1+b1 240,8 кБ695,0 кБ [списък на файловете]
armel 1.5.118.6b56be4.121013-1+b1 244,7 кБ718,0 кБ [списък на файловете]
armhf 1.5.118.6b56be4.121013-1+b1 253,0 кБ510,0 кБ [списък на файловете]
hppa (неофициална архитектура) 1.5.118.6b56be4.121013-1 267,9 кБ815,0 кБ [списък на файловете]
hurd-i386 1.5.118.6b56be4.121013-1 338,9 кБ810,0 кБ [списък на файловете]
i386 1.5.118.6b56be4.121013-1+b1 308,1 кБ878,0 кБ [списък на файловете]
kfreebsd-amd64 1.5.118.6b56be4.121013-1+b1 295,5 кБ781,0 кБ [списък на файловете]
kfreebsd-i386 1.5.118.6b56be4.121013-1+b1 307,6 кБ875,0 кБ [списък на файловете]
m68k (неофициална архитектура) 1.5.118.6b56be4.121013-1 260,5 кБ625,0 кБ [списък на файловете]
mips 1.5.118.6b56be4.121013-1+b1 276,9 кБ883,0 кБ [списък на файловете]
mips64el 1.5.118.6b56be4.121013-1+b1 272,5 кБ872,0 кБ [списък на файловете]
mipsel 1.5.118.6b56be4.121013-1+b1 280,5 кБ882,0 кБ [списък на файловете]
powerpcspe (неофициална архитектура) 1.5.118.6b56be4.121013-1 264,7 кБ779,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 1.5.118.6b56be4.121013-1+b1 261,0 кБ848,0 кБ [списък на файловете]
ppc64el 1.5.118.6b56be4.121013-1+b1 270,8 кБ851,0 кБ [списък на файловете]
riscv64 (неофициална архитектура) 1.5.118.6b56be4.121013-1 266,6 кБ538,0 кБ [списък на файловете]
s390x 1.5.118.6b56be4.121013-1+b1 270,1 кБ855,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 1.5.118.6b56be4.121013-1 327,1 кБ670,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 1.5.118.6b56be4.121013-1 310,6 кБ701,0 кБ [списък на файловете]
x32 (неофициална архитектура) 1.5.118.6b56be4.121013-1 347,0 кБ798,0 кБ [списък на файловете]