软件包：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.33)

  GNU C 语言运行库：共享库
  同时作为一个虚包由这些包填实： libc6.1-udeb

下载 boolector

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
alpha （非官方移植版）	290.0 kB	979.0 kB	[文件列表]