Z3-Api In Python Basics模块内容Python 中的 Z3 API
Python 中的 Z3 APIZ3 是微软研究院开发的高性能定理证明器。 Z3 用于许多应用，例如：软件/硬件验证和测试、约束求解、混合系统分析、安全性、生物学（计算机分析）和几何问题。本教程演示了 Z3Py 的主要功能：Python 中的 Z3 API。 阅读本教程不需要 Python 背景。 但是，在某些时候学习 Python（一门有趣的语言！）很有用，并且有许多优秀的免费资源可以学习（Python 教程）。Z3 发行版还包含 C、.Net 和 OCaml API。 Z3Py 的源代码在
