Galois 使用 Cryptol 安装 Z3
Z3 Installation with Cryptol by Galois
我目前正在开始一些关于 Cryptol 的工作，但对于 Cryptol，我需要 z3。 Z3甚至需要运行它。
我已经从 gitHub 下载了最新的 Z3 版本，但我不确定如何安装 it/set 它以供 cryptol 使用。
我在 windows 10 PC 上。非常感谢任何帮助。
如果您愿意自己构建，请按照以下说明操作：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 (See https://docs.microsoft.com/en-us/nuget/reference/ps-reference/ps-ref-install-package 了解如何手动安装。）
我目前正在开始一些关于 Cryptol 的工作，但对于 Cryptol，我需要 z3。 Z3甚至需要运行它。 我已经从 gitHub 下载了最新的 Z3 版本，但我不确定如何安装 it/set 它以供 cryptol 使用。 我在 windows 10 PC 上。非常感谢任何帮助。
如果您愿意自己构建，请按照以下说明操作：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 (See https://docs.microsoft.com/en-us/nuget/reference/ps-reference/ps-ref-install-package 了解如何手动安装。）