[ 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)

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

下載 boolector

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
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	[檔案列表]
i386	1.5.118.6b56be4.121013-1.3	312。1 kB	889。0 kB	[檔案列表]
mips64el	1.5.118.6b56be4.121013-1.3	272。8 kB	878。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	[檔案列表]