2019年8月13日
python
摘要： pyplot.subplot(): return turple (figure,axes) 阅读全文
posted @ 2019-08-13 20:22 结夏 阅读(103) 评论(0) 推荐(0)
2019年5月5日
z3 solver的安装(python环境变量的配置)
摘要： 0.环境：windows10 1.下载z3：https://github.com/Z3Prover/z3 GitHub客户端clone到本地文件夹 2.开始菜单VS 2017文件夹，打开适用于 VS 2017 的 x64 本机工具命令提示，命令行中进入 Z3 文件夹，执行命令： 进入z3路径：绝对路 阅读全文
posted @ 2019-05-05 20:58 结夏 阅读(3908) 评论(0) 推荐(0)
2019年3月17日
python 赋值是传值还是传引用【转】
摘要： 转自 https://www.cnblogs.com/yuyan/archive/2012/04/21/2461673.html 1. python不允许程序员选择采用传值还是传引用。Python参数传递采用的肯定是“传对象引用”的方式。实际上，这种方式相当于传值和传引用的一种综合。如果函数收到的是 阅读全文
posted @ 2019-03-17 15:34 结夏 阅读(529) 评论(0) 推荐(0)