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.先输...
原创
2018-04-11 22:32:59 ·
2728 阅读 ·
0 评论