Fake Z3

一个假 Z3，用于获得工具给 Z3 的信息。

使用

使用以下代码把生成的假 Z3 临时放入环境变量

export PATH=<当前目录>:$PATH