Z3 SMTsolver 学习笔记（二）——examples运行篇（未完成）

经历千辛万苦，犯过种种错误。我总算是成功的完成了Z3的安装和配置工作。下一步是逐渐掌握使用方法。

1、网上找到的一个小说明书：https://rise4fun.com/z3/tutorial

 Z3完整的API文档在这：http://z3prover.github.io/api/html/index.html

 这里更新一篇C++的较完整教程 ：http://www.cs.utah.edu/~vinu/research/formal/tools/notes/z3-notes.html

 这个是一篇python的简短教程 ： http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm

2、然后我们一边翻译一边学着使用。

3、首先，我们要尝试着使用开发者提供的examples里的例子以确保我们的Z3安装正确并可以使用。