z3 - 是否有适用于 Linux 的 64 位版本的 iZ3？

Question

在如何安装 iZ3？为 Linux 提供了 Z3 4.1 的链接。在这个存档中，Z3 本身是 64 位的，但不幸的是 iZ3 不是。

我无法在我的机器上运行 32 位 iZ3 可执行文件，因为它缺少我无法安装的 32 位共享库（它们将替换我的常规 64 位库）。

那么，是否有适用于 Linux 的 64 位版本的 iZ3？

Answer 1

目前，Z3 的插值版本只能从源代码构建。从 z3.codeplex.com 获取分支“interp”源。文件 README 包含构建说明，包括如何获取所需的外部库。