python解释器下安装z3_如何在Linux下安装z3forpython3

我不得不修改脚本/mk_实用程序.py为了将Python2中的几行代码转换为Python3，并将tab替换为其他几行中的空格，这样就可以了！。在

似乎有人无意中引入了与Python3不兼容的更改。在

我注意到莱昂纳多·德穆拉(Leonardo de Moura)对此表示关注，他对z3 git回购进行了调整。在

这里有条路以防万一- z3-original/scripts/mk_util.py

+++ z3/scripts/mk_util.py

@@ -640,7 +640,7 @@

def is_clang_in_gpp_form(cc):

version_string = subprocess.check_output([cc, ' version'])

- return version_string.find('clang') != -1

+ return str(version_string).find('clang') != -1

def is_CXX_clangpp():

if is_compiler(CXX, 'g++'):

@@ -1485,7 +1485,7 @@

print('Java Compiler: %s' % JAVAC)

else:

global CXX, CC, GMP, FOCI2, CPPFLAGS, CXXFLAGS, LDFLAGS, EXAMP_DEBUG_FLAG

- OS_DEFINES = ""

+ OS_DEFINES = &#