Linux 下安装配置 Microsoft Z3

alogy 发布于2019-06-21 15:28 / 2137人阅读

摘要：确认已安装确认版本安装使用下载进入文件夹并生成使用选项生成进入文件夹并编译根据中规定的内容进行编译生成的可执行文件放在当前目录或某个子目录将生成的文件安装到系统目录中如这一步需要权限在程序中使用配置环境变量编辑环境变量文件在文件末

确认已安装 Git

确认 Python 版本

python -V

安装 Z3
使用 Git 下载 Z3：

git clone https://github.com/Z3Prover/z3.git

进入 Z3 文件夹并生成 Z3 Makefile：

cd Z3
## 使用 --java 选项生成 Java Bindings
python scripts/mk_make.py --java

进入 build 文件夹并编译 Z3

cd build
## 根据 Z3 Makefile 中规定的内容进行编译, 生成的可执行文件放在当前目录或某个子目录
make

将 make 生成的文件安装到系统目录中, 如/usr/bin, 这一步需要 root 权限

sudo make install

在 Java 程序中使用 Z3
配置环境变量 LD_LIBRARY_PATH：

# 编辑环境变量文件
sudo gedit /etc/profile
# 在文件末尾追加一下内容
export Z3_HOME=${Z3安装路径}/build
export LD_LIBRARY_PATH=${Z3_HOME}:${LD_LIBRARY_PATH}
export CLASSPATH=${Z3_HOME}/com.microsoft.z3.jar:${CLASSPATH}
# 保存并关闭文件后输入以下命令, 使配置生效
source /etc/profile

Java 程序中导入包

import com.microsoft.z3.jar;

编译 Java 程序

javac -cp $Z3_HOME/com.microsoft.z3.jar:. XXX.java

运行 Java 程序

java XXX

服务器托管 idc机房托管 linux下安装云服务器配置 linux下安装配置svn独立服务器 ecs windows系统下安装配置tomcat方法 linux 下安装

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/10716.html

zookeeper伪集群搭建及遇到的坑

摘要：今天搭建了的单机伪集群，记录一下防止忘记安装从官网下载安装包解压到本地目录，比如配置为了运行个服务端进程，新建存放这个进程运行和配置数据的目录，比如叫。和都是表示连接的心跳数，具体含义暂时可以不用管。今天搭建了zookeeper的单机伪集群，记录一下防止忘记安装从官网下载安装包解压到本地目录，比如D:/zookeeper-3.4.10 配置为了运行3个 zookeeper 服务...

huashiou 2019-08-16 15:54 评论0 收藏0
以太坊连载（七）：C++客户端的安装与定制（一）

摘要：以太坊客户端快速入门以太坊客户端的项目是。参考资料文章中的列表对应的链接可以参考第页下一篇文章我们将会介绍以太坊连载八客户端的安装与定制二感谢朝夕团队参与的翻译和校验。以太坊C++客户端：cpp-ethereum 快速入门以太坊C++客户端的Github项目是 webthree-umbrella。我们将恢复到 cpp-ethereum-github 作为项目重启的一部分。如果...

wind3110991 2019-06-27 18:41 评论0 收藏0
Python花式解方程

摘要：用来解方程的话有点复杂，需要用到矩阵的思维我矩阵没学好再加上不能解非线性方程组，所以我也不会这玩意儿逊色于和，但解方程也是非常不错的既能解线性方程组，又能解非线性方程组，堪称解方程界的神器，但是表达式不支持位运算，比如与或非，取余以及 numpy numpy 用来解方程的话有点复杂，需要用到矩阵的思维！我矩阵没学好再加上 numpy 不能解非线性方程组，所以...我也不会这玩意儿！ s...

BakerJ 2019-07-31 11:16 评论0 收藏0
ubuntu下的linux系统redis部署及使用

摘要：一部署新建文件夹存放下载官方英文网址中文网址解压编译可以不执行可以不执行运行命令出现的错误解析命令未找到解决安装能上网，再次没有那个文件或目录解决，再次启动服务启动后即可连接使用，也可使用客户端如果修改配置文件了，指定配置文件一.部署redis 1.新建文件夹存放： mkdir /home/henlafeng/redis cd redis/ 2.下载： http://redis...

gxyz 2019-08-15 10:38 评论0 收藏0
ubuntu下的linux系统redis部署及使用

摘要：一部署新建文件夹存放下载官方英文网址中文网址解压编译可以不执行可以不执行运行命令出现的错误解析命令未找到解决安装能上网，再次没有那个文件或目录解决，再次启动服务启动后即可连接使用，也可使用客户端如果修改配置文件了，指定配置文件一.部署redis 1.新建文件夹存放： mkdir /home/henlafeng/redis cd redis/ 2.下载： http://redis...

妤锋シ 2019-07-24 15:00 评论0 收藏0