Changes

Page history
Update Resources about z3 authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
Show whitespace changes
Inline Side-by-side
Resources-about-z3.md
View page @ 09399364
...@@ -2,6 +2,7 @@ Various resources found while trying to understand z3 better: ...@@ -2,6 +2,7 @@ Various resources found while trying to understand z3 better:
- http://rise4fun.com/Z3/tutorial/guide (Z3 tutorial for SMT-2.0) - http://rise4fun.com/Z3/tutorial/guide (Z3 tutorial for SMT-2.0)
- https://github.com/ericpony/z3py-tutorial (Z3 tutorial for Python) - https://github.com/ericpony/z3py-tutorial (Z3 tutorial for Python)
- https://ece.uwaterloo.ca/~agurfink/ece653/z3py-advanced (z3, python, quantifiers)
- https://leodemoura.github.io/files/qsmt.pdf - https://leodemoura.github.io/files/qsmt.pdf
- http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/advanced-examples.htm - http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/advanced-examples.htm
- https://stackoverflow.com/questions/13930013/equivalence-checking-with-z3 - https://stackoverflow.com/questions/13930013/equivalence-checking-with-z3
... ...
......