z3共有15個方法/函數/屬性，點擊鏈接查看相應的源代碼示例。
1. z3.Solver() ，15個項目使用
2. z3.Not() ，10個項目使用
3. z3.And() ，10個項目使用
4. z3.sat() ，10個項目使用
5. z3.Or() ，9個項目使用
6. z3.simplify() ，9個項目使用
7. z3.BitVec() ，9個項目使用
8. z3.If() ，7個項目使用
9. z3.BoolVal() ，7個項目使用
10. z3.unsat() ，6個項目使用
11. z3.BitVecVal() ，6個項目使用
12. z3.Implies() ，5個項目使用
13. z3.Bool() ，5個項目使用
14. z3.LShR() ，5個項目使用
15. z3.is_true() ，5個項目使用
注：本文中的示例由純淨天空整理自Github/MSDocs等開源代碼及文檔管理平台，相關代碼片段篩選自各路編程大神貢獻的開源項目，源碼版權歸原作者所有，傳播和使用請參考對應項目的License；未經允許，請勿轉載。