申明：本文翻译自rise4fun，翻译与原文存在一些差异。
z3是由微软公司开发的一个优秀的SMT求解器（也就定理证明器），它能够检查逻辑表达式的可满足性。z3是由微软公司开发
阅读背景：
Z3求解器指南（一）
来源：互联网
分享到：
