python 3如何安装z3-solver

1、首先，在pypi官网可以找到找到z3-solver这个包，最新版本4.8.7。

3、安装好之后，在安装该腻戴怯猡包的python环境中，直接输入z3 -h如果看到如图的帮助，说明z3已经安装并且也可以命令行使用。

5、在python中，z3的其它用法包括使用simplify化简，使用And构造逻辑与等。

7、可以看到,x+y>=3表达式的两个层级的详细信息如图所示。