Mac OSX下安装使用定理证明器Z3

我并不知道你们是否能成功，这只是我的一次尝试，希望对你们有帮助

1.http://z3.codeplex.com/wikipage?title=Building%20the%20unstable%20%28working-in-progress%29%20branch&referringTitle=Documentation

  按上面的步骤进行，对于懒得看英文的我这里可以再说一下步骤

  首先，使用 git 把下面的仓库clone下来，如果clone不失败，请更新你的git版本

git clone https://git01.codeplex.com/z3 -b unstable

 然后，在命令行下敲入以下命令

cd z3
python scripts/mk_make.py
cd build
make

2.设置python路径

export PYTHONPATH=$PYTHONPATH:<installation path of z3>

我使用的命令为：export PYTHONPATH=$PYTHONPATH:/Users/fanqiliang/bin/z3/build

3.测试

测试代码下载链接http://download.csdn.net/download/u010268947/7026041

下载后使用命令执行：

python test.py