运动Z3轨迹 Z3 Z3是Microsoft Research的一个定理证明者。它是根据获得。 可从获得用于稳定和夜间发布的预构建二进制文件 。 对于这些练习,应使用带有Python绑定的Visual Studio构建Z3。 安装Z3 下载Python(如果尚未安装) 可以从下载最新版本的Python 安装时,请务必选中将Python添加到PATH的框 下载Visual Studio(如果尚未安装) 可从下载最新版本的Visual Studio 安装时,请选择Python开发工作负载 选中右侧的所有可选Python开发包复选框 安装后,打开Visual Studio并设置您的初始首选项。 安装Git命令 Git安装说明可以在找到 您将需要 克隆Z3 导航到以查看项目。 打开计算机上的终端,然后导航到要克隆Z3存储库的位置(例如:C:\ Z3)。 从该位置运行: git clone