installation - 伽罗瓦用 Cryptol 安装 Z3
问题描述
我目前正在开始一些关于 Cryptol 的工作,但对于 Cryptol,我需要 z3。Z3 甚至需要运行它。我已经从 gitHub 下载了最新的 Z3 版本,但我不确定如何安装/设置它以供 cryptol 使用。我在 Windows 10 电脑上。将不胜感激任何帮助。
解决方案
如果您愿意自己构建,请参考以下说明: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 。)
推荐阅读
- spring - Spring - 尝试将新员工插入到 mySQL - 绑定参数 [1] 作为 [VARCHAR] - [null]
- java - 扩展非抽象 jpa 实体类
- javascript - 在 React 中打补丁后更新状态
- c# - 使用参数中的日期从 c# 调用存储过程
- amazon-s3 - Amazon S3 的端点是什么?
- ios - 如何根据 UITableViewCell 中的内容调整水平 UICollectionView 的高度
- r - 在 Azure Data Lake Analytics 中安装 R 包
- javascript - 需要将我的供应商 ID 分配给 InvoiceTable - 一对多关系
- angular - 图像未在 Angular 应用程序上加载
- c# - 使用实体框架从数据库中获取行到列表