在Windows中安裝Z3

Question

我沒有下載現場的Windows（64位）文件Z3 4.3.0：http://z3.codeplex.com/releases。

當我嘗試運行bin文件夾中的文件z3.exe時。提示出現並立即消失。我需要知道如何運行通過z3.exe文件在z3中編寫的文件。

我該怎麼做？或者什麼是通過Java運行z3的最佳選擇？

Answer 1

z3.exe是一個命令行工具。要執行名爲file.smt2的SMT-LIB 2.0文件，您應該在命令提示符中執行以下命令。

z3 file.smt2 

如果包含z3.exe該目錄不在你的PATH環境變量，你必須包括在上面的命令的目錄。

順便說一句，Z3沒有圖形用戶界面或環境。它本質上是一個用於自動推理的庫。 z3.exe是一個使用此庫構建的簡單可執行文件，它允許我們執行存儲在文件中的命令。

您也可以使用rise4fun上提供的網絡界面來玩Z3。 在rise4fun，我們有一個SMT-LIB前端，和一個Python的基礎。 他們都有互動教程。

下面是一些有用的資源，瞭解SMT：

• Z3 tutorial
• Tutorial on SMT-LIB
• Article describing SMT applications
• SMT-Lib benchmarks
• ＃1：您可以通過包括[z3]搜索搜索Z3相關問題框。

Z3有幾種編程語言的API：C，C++，.Net，Python和OCaml。 在下一個版本中，我們還將提供對Java的支持。 您可以使用夜間版本之一來玩Java。 前往here瞭解更多關於Z3每晚構建的信息。 每晚構建包含使用Z3 API的Java示例應用程序。