脚本宝典收集整理的这篇文章主要介绍了

Linux 下安装配置 Microsoft Z3

脚本宝典小编觉得挺不错的,现在分享给大家,也给大家做个参考,希望能帮助你少写一行代码,多一份安全和惬意。

  1. 确认已安装 Git
  2. 确认 Python 版本

    python -V 
  3. 安装 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 
  4. 在 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 

总结

以上是脚本宝典为你收集整理的

Linux 下安装配置 Microsoft Z3

全部内容,希望文章能够帮你解决

Linux 下安装配置 Microsoft Z3

所遇到的程序开发问题,欢迎加入QQ群277859234一起讨论学习。如果觉得脚本宝典网站内容还不错,欢迎将脚本宝典网站推荐给程序员好友。 本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。

80%的人都看过