软件包：boolector（1.5.118.6b56be4.121013-1.3）

boolector 的相关链接

• eLxr 补丁追踪网站

下载源码包 boolector：

• [boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz]
• [boolector_1.5.118.6b56be4.121013-1.3.dsc]
• [boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz]
• [boolector_1.5.118.6b56be4.121013.orig.tar.gz]

维护者：

• Michael Tautschnig

外部的资源：

• 主页 [fmv.jku.at]

相似软件包：

• libcvc4parser7
• cvc4
• libcvc4-dev
• libsymfpu-dev
• haskell-what4-utils
• libcvc5-1
• python3-cvc5
• libcvc5parser1
• cvc5
• libcvc5-dev
• libghc-what4-dev

其他与 boolector 有关的软件包

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实： libc6-udeb

下载 boolector