python爬虫-pip使用

临时更新源命令

python -m pip install -i https://pypi.tuna.tsinghua.edu.cn/simple pandas

永久设置命令

（a）Linux下，修改 ~/.pip/pip.conf (没有就创建一个文件夹及文件。文件夹要加“.”，表示是隐藏文件夹)
内容如下：

[global]
index-url = https://pypi.tuna.tsinghua.edu.cn/simple
[install]
trusted-host = https://pypi.tuna.tsinghua.edu.cn

(b) windows下，直接在user目录中创建一个pip目录，如：C:\Users\xx\pip，然后新建文件pip.ini，即 %HOMEPATH%\pip\pip.ini，在pip.ini文件中输入以下内容（以豆瓣镜像为例）：

[global]
index-url = http://pypi.douban.com/simple
[install]
trusted-host = pypi.douban.com

创建pip.ini文件可以用文本编辑器，例如 sublime text3。

pip.ini文件中的内容如下：

或者这个样子

最后在cmd尝试安装pandas，你会发现已经pip改用清华镜像了。

在这里插入图片描述

安装z3-solver

python -m pip install z3-solver

如果提示版本低，就更新一下pip
python -m install --upgrade pip

使用z3-solver来解方程

例如最简单的三元一次方程组：
复制代码
from z3 import *
x,y,z=Ints(‘x y z’)
s=Solver()
s.add(2x+3y+z6)
s.add(x-y+2*z-1)
s.add(x+2*y-z==5)
print s.check()
print s.model()
复制代码
模运算：

复制代码
from z3 import *
x=Int(‘x’)
s=Solver()
a = 65537
b = 64834
c = 41958
s.add(x>0)
s.add(x % a == b)
s.add(x % b == c)
print s.check()
print s.model()