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

Question

在How to install iZ3?有一個提供給Linux的Z3 4.1的鏈接。在這個檔案中，Z3本身是64位的，但不幸的是iZ3不是。

我無法在我的機器上運行32位iZ3可執行文件，因爲它缺少32位共享庫，我無法安裝（它們將取代我的常規64位庫）。

那麼，有沒有64位版本的iZ3 for Linux？

Answer 1

目前，Z3的插值版本只能從源碼生成。從z3.codeplex.com獲取分支「interp」源。文件自述文件包含構建說明，包括如何獲取所需的外部庫。