z3py使用说明

<a href="http://z3prover.github.io/api/html/z3.html" target="_blank">http://z3prover.github.io/api/html/z3.html</a>

<a href="http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm" target="_blank">http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm</a>

学习

本文转自fatshi51CTO博客，原文链接： http://blog.51cto.com/duallay/1932522，如需转载请自行联系原作者