套件：boolector（1.5.118.6b56be4.121013-1.3） [debports]

[ 原始碼：  ]

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.

其他與 boolector 有關的套件

• dep: libc6.1 (>= 2.35)

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

下載 boolector

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
ia64 （非官方移植版）	391。7 kB	1，800。0 kB	[檔案列表]