Z3安装含Galois的密码

帕维尔·杜波夫(Pavel Dobrev)

我目前正在开始一些有关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] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章