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，如需轉載請自行聯系原作者