【z3 solver手动安装】

TSN领域有很多文章使用z3 solver求解约束可满足性问题。典型的工作包括Silviu S. Craciunas 等人的Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks。前些年用过z3 solver试图尝试复现他们的工作，在这里总结下手动安装z3的教程。

下载安装visual studio Community 2019

下载地址： https://learn.microsoft.com/zh-cn/visualstudio/releases/2019/release-notes

安装教程参考： https://zhuanlan.zhihu.com/p/94998894

选择工作负载时，可勾选使用C++的桌面开发或Python 开发，看你习惯什么编程语言了

下载python 3.6.7

下载及安装教程参考：https://www.cnblogs.com/lvtaohome/p/11121377.html

下载并解压z3-master包，我这里它放到了电脑d盘下

下载z3地址： https://github.com/Z3Prover/z3

打开开始菜单，在Visual Studio 2019文件夹下找到x86-x64 Cross Tools Command prompt for VS2019，打开后依次输入

d:

cd z3-master

python scripts/mk_make.py -x

cd build

nmake

等待一段时间后，就会出现z3 was successfully built

【z3 solver手动安装】相关推荐

linux源码安装浏览器,Linux系统手动安装Firefox浏览器
大多数Linux发行版都以Firefox作为默认的浏览器,并可以轻松地从软件库中安装.例如: Debian/Ubuntu: sudo apt-get install firefox Fedora: s ...
linux apache 手动安装教程,linux下手动安装apache
下面是官方文档的要求,必须安装APR.APR-Util.PCRE,gcc-c++等包,文档URL地址http://httpd.apache.org/docs/2.4/install.html. 所以, ...
centos7.4安装mysql5.7_CentOS7.4手动安装MySQL5.7的方法
MySQL数据库应用广泛,尤其对于JAVA程序员,不会陌生.如果在不想采购云数据库的情况下,可以自行安装MySQL数据库.文章将介绍,手动在CentOS7.4环境下,安装MySQL5.7版本的方法. ...
在服务器无root权限手动安装texlive
前言要利用jcvi分析多物种共线性,最后报错显示没有latex,于是开始了解latex,找到了妖怪的别名特性live,利用conda安装texlive-core在后面的分析中会报错,于是手动安装先 ...
手动安装K8s第三节：etcd集群部署
手动安装K8s第三节:etcd集群部署准备安装包 https://github.com/coreos/etcd 版本:3.2.18 wget https://github.com/coreos/et ...
Atom 插件手动安装
为什么80%的码农都做不了架构师?>>> Atom Settings install error Installing "simplified-chinese-men ...
手动安装oracle软件删软件
更多博文请关注:没有伞的孩子必须努力奔跑(www.xuchanggang.cn) 1.手工删除oracle软件: 删除/etc/ora* 删除软件安装目录下的所有文件,我这里是:/u01/app/or ...
python详细安装教程linux-Linux手动安装新版本Python教程（CentOS）
一.说明 1.1 linux为什么不升级python版本 2008年python3就发布了,到2020年1月1日python2.7就停止更新了,为什么主流的linux迟迟不去除python2自带pyt ...
CENTOS手动安装修复python ,YUM CENTOS手动安装修复YUM
CENTOS手动安装修复YUM 2019年3月8日杨宇 Comments 0 Comment 目录 [hide] 一.问题场景二.手动修复 2.1 下载 rpm 包 2.2 安装 rpm 包 2 ...

【z3 solver手动安装】

【z3 solver手动安装】相关推荐

最新文章

热门文章