套件：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 (>= 2.34)

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

下載 boolector

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

硬體架構	套件大小	安裝後大小	檔案
sparc64 （非官方移植版）	249。9 kB	1，044。0 kB	[檔案列表]