临时更新源命令
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()