关于C++版本z3库的使用心得

    C++版本的z3库使用起来要比python要复杂一些，而且网上也没有python版本那么多的教程，自己使用了一段时间，逐渐上手，把自己使用过的一些网站和一些使用心得系统的记录一下：

一、使用学习Z3的一些常用网址：

1.官方给的C++z3示例：

z3/examples/c++/example.cpp at master · Z3Prover/z3 · GitHub

2.z3的API大全：

Z3: z3 Namespace Reference (z3prover.github.io)

3.一个比较全的z3示例网站：

notes on `z3` `c++` bindings (utah.edu)

4.简易教程（有些不能用的在下面会说）