SMT约束求解器Z3 Prover的Java绑定

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/u010992313/article/details/84112917

Z3是由微软公司开发的一个优秀的SMT求解器（也就定理证明器），它能够检查逻辑表达式的可满足性。
最近要在Java代码使用Z3，走了很多弯路，费了大约一周时间才搭好环境，所以写下此经验帖：

Z3 Prover的Java绑定