sky_xyc的博客

原创 Ubuntu下配置python的SMT z3-solver

由于需要在Linux系统上安装Z3 solver的python库，所以在此记录一下。Ubuntu版本：14.04.5python版本：2.7.61.在pypi上下载（网址：https://pypi.python.org/pypi/z3-solver/4.5.1.0#downloads）后缀为.tai.gz的z3-solver压缩包。2.将z3压缩包解压，并打开终端cd到解压后的文件夹目录下3.先输...