在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示例应用程序。