installation - 伽罗瓦用 Cryptol 安装 Z3

Question

我目前正在开始一些关于 Cryptol 的工作，但对于 Cryptol，我需要 z3。Z3 甚至需要运行它。我已经从 gitHub 下载了最新的 Z3 版本，但我不确定如何安装/设置它以供 cryptol 使用。我在 Windows 10 电脑上。将不胜感激任何帮助。

Answer 1

如果您愿意自己构建，请参考以下说明：https ://github.com/Z3Prover/z3#building-z3-on-windows-using-visual-studio-command-prompt

但是你最好直接获取 nuget 包并直接安装它，这是最新的：https://github.com/Z3Prover/z3/releases/download/z3-4.8.10/Microsoft.Z3.x64.4.8。 10.nupkg（有关如何手动安装它，请参阅https://docs.microsoft.com/en-us/nuget/reference/ps-reference/ps-ref-install-package 。）