[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ 原始碼： boolector ]

套件：boolector（1.5.118.6b56be4.121013-1.3 以及其他的）

boolector 的相關連結

Debian 的資源：

下載原始碼套件 boolector：

維護者：

Michael Tautschnig (QA 頁面)

外部的資源：

主頁 [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.

標籤: 實做語言: C, 角色: 程式

其他與 boolector 有關的套件

依賴

推薦

建議

增強

dep: libc6 (>= 2.34) [除 alpha, ia64, sh4]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.36) [sh4]
dep: libc6.1 (>= 2.33) [alpha]

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6.1-udeb

dep: libc6.1 (>= 2.35) [ia64]

下載 boolector

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	1.5.118.6b56be4.121013-1.3	290。0 kB	979。0 kB	[檔案列表]
amd64	1.5.118.6b56be4.121013-1.3	301。8 kB	786。0 kB	[檔案列表]
arm64	1.5.118.6b56be4.121013-1.3	257。9 kB	786。0 kB	[檔案列表]
armel	1.5.118.6b56be4.121013-1.3	249。4 kB	721。0 kB	[檔案列表]
armhf	1.5.118.6b56be4.121013-1.3	255。6 kB	529。0 kB	[檔案列表]
hppa （非官方移植版）	1.5.118.6b56be4.121013-1.3	282。6 kB	803。0 kB	[檔案列表]
i386	1.5.118.6b56be4.121013-1.3	312。1 kB	889。0 kB	[檔案列表]
ia64 （非官方移植版）	1.5.118.6b56be4.121013-1.3	391。7 kB	1，800。0 kB	[檔案列表]
m68k （非官方移植版）	1.5.118.6b56be4.121013-1.3	236。0 kB	705。0 kB	[檔案列表]
mips64el	1.5.118.6b56be4.121013-1.3	272。8 kB	878。0 kB	[檔案列表]
ppc64 （非官方移植版）	1.5.118.6b56be4.121013-1.3	301。6 kB	1，043。0 kB	[檔案列表]
ppc64el	1.5.118.6b56be4.121013-1.3	310。1 kB	978。0 kB	[檔案列表]
riscv64	1.5.118.6b56be4.121013-1.3+b2	301。6 kB	611。0 kB	[檔案列表]
s390x	1.5.118.6b56be4.121013-1.3	279。7 kB	890。0 kB	[檔案列表]
sh4 （非官方移植版）	1.5.118.6b56be4.121013-1.3	300。1 kB	593。0 kB	[檔案列表]
sparc64 （非官方移植版）	1.5.118.6b56be4.121013-1.3	249。9 kB	1，044。0 kB	[檔案列表]
x32 （非官方移植版）	1.5.118.6b56be4.121013-1.3	294。7 kB	761。0 kB	[檔案列表]