我目前正在开始一些有关Cryptol的工作,但对于Cryptol,我需要z3。Z3甚至需要运行它。我已经从gitHub下载了最新的Z3版本,但不确定如何安装/设置供密码使用。我在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(请参阅https://docs.microsoft.com/zh-cn/nuget/reference/ps-reference/ps-ref-install-package了解如何手动安装此软件包。)
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句