Mac及Pycharm安装Z3

最新推荐文章于 2024-04-24 09:34:33 发布
最新推荐文章于 2024-04-24 09:34:33 发布
阅读量2.5k 收藏 2
点赞数
分类专栏： Z3 文章标签： Mac及Pycharm下z3安装
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/greenxiaye/article/details/88559986
版权

Tips

参考过的博客链接: http://ronpa.top/2018/08/15/Mac-OSX下安装使用定理证明器Z3-和-升级Git/.
新手小白的我选择了非pip安装 中间有些bug 有个bug我也不知道解决方案是否正确 但是能用了就先这样吧。bug为终端用z3编译python无法识别z3。也欢迎大家纠正和评论。

一、mac终端安装

  1. 非pip安装步骤：
git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py
cd build
make
sudo make install

最后显示Z3成功
在这里插入图片描述
2. 要失败了的话就重来吧

cd z3/build
sudo make install

我没有尝试过 轻易不想重来
注意这边python scripts/mk_make.py 是给z3有python环境
但是最后有无法识别z3 所以我多加了一步设置python路径 直接cd z3后加上去
在这里插入图片描述
3. 然后还是不行 就改了source_profile的路径再加上提示以为是pythonpath的问题 但自己的python是2.7好像还是mac自带的
在这里插入图片描述

//根据提示尝试添加路径
export PYTHONPATH=$PYTHONPATH:<installation path of z3>
//命令为：export PYTHONPATH=$PYTHONPATH:/Users/aaa/bin/z3/build

touch .bash_profile
open -e .bash_profile

打开文件后
在这里插入图片描述
然后保存

source ~/.bash_profile

4.还是不行呵
参考 https://github.com/Z3Prover/z3/issues/904.

python2.7 -m pip install z3-solver

然后就莫名可以了?所以我应该最开始选择pip安装？不懂
z3里面自动的python例子 可以直接去python example.py 输出答案
在这里插入图片描述
也可以终端输入python
在这里插入图片描述

Pycharm的Z3安装

PyCharm > Preferences… > Project Interpreter
在这里插入图片描述
点击+号 搜索z3 再直接安装z3和z3-solver
现在就可以识别了，看网上说还有换解释器的，感觉慌就只添加了库
在这里插入图片描述
在这里插入图片描述

小白菜菜green
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Mac python3 安装z3包
gm_oct的博客
06-07 710
Mac python3 安装Z3
Python及PyCharm安装pdf
08-01
1.Python 安装过程 1.1 输入 https://www.python.org/downloads/网址进入官网下载正版文件，如下图所示: 1.2进入下载页面后，选择你需要的版本(这里下载Python3.6.4的，尽量下载稳定版的)。 Windowsx86为32位的对应...
pip Z3时的各种问题
weixin_72399430的博客
04-24 356
pip安装成功后，再输入开头命令行安装Z3，还是不行，这次报错搞忘截图了，后面我把报错的字段复制去问了下gpt，它说可能多原因，其中有个网络原因，然后我就把vpn关了，然后就可以显示下载了，但是就是显示下载一半然后就报错自动截止了。后面我还说是我在anaconda里面创建的环境影响到它了吗，我就去把看里面的环境关没关了。那我想应该是pip没安装，当时下载Python的时候没有自动下载pip，后面我去了Python的官网找pip，上面是这么说的，然后我就输入了命令。把缓存给清除了，终于可以了这次。
pycharm安装z3库，导入后无法使用
amber_o0k的博客
10-21 720
去z3官网下载wheel文件安装，不要用pycharm自身的库管理，里面的z3有问题。
Z3求解器MacOS 安装和运行
weixin_43826020的博客
02-01 795
Z3求解器MacOS安装和运行 https://github.com/Z3Prover/z3 链接里下载zip代码 尝试用make和GCC/Clang安装，make过程等挺久的，在最后一步sudo make install报错，说operation no permitted。 </> cd 下载代码的文件夹z3-master的地址 python scripts/mk_make.py cd build make sudo make install </> 使用brew in
MacOS上符号执行模块angr和z3-solver模块的安装
花开花落，人走茶凉
02-12 1748
本人的Mac版本是10.13.6 官网提供了在MacOS上安装的方法：pip install angr 我试了不行，折腾了好久，找了个折中的方法，使用docker来搭建angr环境 docker search angr NAME DESCRIPTION STARS OFFICIAL AUTOMATED angr/angr
mac下pycharm环境配置（选择要用的python版本，选择系统中的python还是独立环境的python）
热门推荐
qqq2018的博客
10-07 2万+
pycharm提供了一个很好的机制，把依赖的环境封起来。这样移植到其他电脑到时候就不会缺少这个那个库的情况了。打开偏好设置，如下图步骤一，二。点2处的齿轮，选择add。 出现下图： 1处即上边提到的“独立环境” 2处是系统中的环境 3处是放解释器的位置，如果提示非空的话就在项目中新建一个文件夹就ok了 4处是选择解释器。解释器的位置在哪，往下看。 命令行查看是否装了python...
mac python Pycharm环境配置
罗小辉的专栏
08-03 2万+
首先，mac是自带python环境的，接下来我会讲一些我在使用Pycharm时遇到的一些坑。1. 安装Pycharm破解版获取破解过程以及安装包请点击我哦安装第三方库Pycharm自带了蛮多库，但有些非常实用的库，它并没有，需要我们手动添加。 添加过程： 1. (我mac上自带的是python2.6版本，版本太低，用brew install python命令安装了2.7版本)在Pycharm中点
pycharm安装及配置说明.zip
07-16
本资源包括了PyCharm的安装及环境配置的详细步骤，旨在帮助用户顺利进行软件的安装与设置。 首先，我们来看PyCharm的安装过程： 1. 下载PyCharm：访问JetBrains官方网站或通过其他可信渠道下载最新版本的PyCharm...
python安装教程 Pycharm安装详细教程
12-25
5. 验证安装：安装完成后，打开命令提示符（Windows用户）或终端（Mac/Linux用户），输入`python`或`python3`，如果能看到Python的版本信息，说明安装成功。 PyCharm安装详细教程： PyCharm是一款强大的Python集成...
使用PyCharm安装pytest及requests的问题
12-17
问题：在PyCharm中，使用setting下的project Interpreter安装pytest以及requests失败 解决方法：（亲测有效） 1、打开Gitbash，定位到python的安装目录：我的安装目录是 D:\pythonAnZhuang\Python37\Scripts 2、...
Python安装及Pycharm安装使用教程图解
09-18
Python的官网下载地址及安装操作： Python官方网站提供不同平台的安装包下载。用户可以通过访问***来下载Python。下载时需要根据自己的操作系统选择相应的版本。例如，Windows用户可以选择Windows x86（32位）或...
pycharm安装教程-pycharm安装详细步骤（Mac版）
bagell的博客
11-01 1万+
之前跟大家讲了怎么安装Python，这期跟大家介绍个很好用的编程工具–pycharm。PyCharm是一种Python IDE，带有一整套可以帮助用户在使用Python语言开发时提高其效率的工具，比如调试、语法高亮、Project管理、代码跳转、智能提示、自动完成、单元测试、版本控制。Pycharm分为专业版（Professional）和社区版（Community），专业版功能非常全，需要购买，可以试用，对比之下社区版功能有限，可以免费使用，并且开源。
简单逆向29（pyc反编译，z3，unpack）
m0_49936845的博客
08-12 361
诺莫29 pyc文件，先反编译成py文件： 方法见简单逆向27 # uncompyle6 version 3.7.4 # Python bytecode 2.7 (62211) # Decompiled from: Python 2.7.13 (v2.7.13:a06454b1afa1, Dec 17 2016, 20:53:40) [MSC v.1500 64 bit (AMD64)] # Embedded file name: E:\CTF\Geek-python\python2\python2.py
z3py使用说明
weixin_33795093的博客
06-05 307
http://z3prover.github.io/api/html/z3.html http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm 学习 转载于:https://blog.51cto.com/duallay/1932522
Linux 下安装配置 Microsoft Z3
weixin_34391445的博客
05-24 703
确认已安装 Git 确认 Python 版本 python -V 安装 Z3 使用 Git 下载 Z3： git clone https://github.com/Z3Prover/z3.git 进入 Z3 文件夹并生成 Z3 Makefile： cd Z3 ## 使用 --java 选项生成 Java Bindings p...
CTF Re-Python z3库的使用
weixin_52369224的博客
10-23 2865
一 安装： z3是由微软公司开发的一个优秀的SMT求解器（也就定理证明器），它能够检查逻辑表达式的可满足性。 我是在windows下pyCharm 里面自己添加包 包名为z3-slover（不是z3） 二 使用： 库内函数： 1.创建一个解的声明对象： a = Solver() 2.添加条件： s.add(判断公式) 3.判断是否有解： s.check() 如果有解 则反回sate 反之 返回 unsate 4.返回最后的解： result=s.modul() pr
Z3Py 学习
qq_17759721的博客
12-06 1010
一、数据类型 integer 整型 ToInt(arg)转换为整型 创建对象的方式： x = Int('x') x,y = Ints('x y')   real 实数 ToReal(arg)转换为有理数 x = Real('x') x ，y = Reals('x y')   例： x = Real('x') solve(3*x==1) # 启用精度 set_option(r...
【浏览器插件】Clearly Reader 必备阅读助手.zip
最新发布
08-17
一款让你沉醉于阅读的神奇插件！快捷键：<Alt/Option+R>。在忙碌的日常生活中，我们常常需要花费大量时间阅读文章和浏览网页。我们坚信阅读应当是一种简单而愉悦的体验，因此我们精心打造了Clearly Reader阅读器插件。它能让你专注于阅读本身，远离广告、弹窗和杂乱无章的页面布局的干扰。只需轻轻一点，即刻享受纯净的阅读体验。 我们致力于提升您的阅读体验，特此提供以下特色功能： - **阅读模式**：提供简洁、清晰、全屏的阅读模式，让阅读更加舒适。 - **炫彩主题**：支持自定义字体大小、行高、颜色主题，以及系统字体和自定义CSS的多彩主题，打造个性化阅读环境。 - **可听文本**：利用我们的文字转语音引擎和Microsoft AI TTS声音，将任何文章转换为语音播放，让阅读不再局限于视觉。 - **语法支持**：支持代码高亮、LaTeX数学格式和视频显示，满足专业阅读需求。 - **导出选项**：轻松将网页转换为Word文档、PDF文件，或导出为Markdown、自定义PDF和MP3音频文件，满足不同场景下的阅读和分享需求。 - **复制格式**：支持将文本复制为富文本
pycharm 怎么安装z3
10-26
在PyCharm中安装z3的步骤如下： 1. 打开PyCharm，点击菜单栏的“Preferences…”。 2. 在弹出的窗口中，选择“Project Interpreter”选项卡。 3. 点击右上角的“+”号，搜索z3并直接安装z3和z3-solver。 4. 安装完成后，PyCharm就可以识别z3了。 如果你选择非pip安装z3，可以按照以下步骤进行： 1. 在终端中输入命令“git clone https://github.com/Z3Prover/z3.git”下载z3源代码。 2. 进入z3目录，输入命令“python scripts/mk_make.py”生成Makefile文件。 3. 输入命令“cd build”进入build目录。 4. 输入命令“make”编译z3。 5. 输入命令“sudo make install”安装z3。 注意，非pip安装可能会遇到一些bug，需要根据具体情况进行解决。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值