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

Question

在How to install iZ3?，有一个链接提供给Z3 4.1 for Linux。在这个档案中，Z3本身是64位，但遗憾的是iZ3不是。

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

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

Answer 1

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