摘要：
pyplot.subplot(): return turple (figure,axes) 阅读全文
摘要：
0.环境：windows10 1.下载z3：https://github.com/Z3Prover/z3 GitHub客户端clone到本地文件夹 2.开始菜单VS 2017文件夹，打开适用于 VS 2017 的 x64 本机工具命令提示，命令行中进入 Z3 文件夹，执行命令： 进入z3路径：绝对路 阅读全文
摘要：
转自 https://www.cnblogs.com/yuyan/archive/2012/04/21/2461673.html 1. python不允许程序员选择采用传值还是传引用。Python参数传递采用的肯定是“传对象引用”的方式。实际上，这种方式相当于传值和传引用的一种综合。如果函数收到的是 阅读全文