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

当时有一个链接提供给Z34.1 for Linux。在这个归档文件中，Z3本身是64位的，但不幸的是，iZ3不是

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

---

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

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