Changes

Page history
Update Resources about z3 authored by Ogilvie, D.H. (Duncan)'s avatar Ogilvie, D.H. (Duncan)
Hide whitespace changes
Inline Side-by-side
Resources-about-z3.md
View page @ d4c53aa9
Various resources found while trying to understand z3: Various resources found while trying to understand z3 better:
- http://rise4fun.com/Z3/tutorial/guide - http://rise4fun.com/Z3/tutorial/guide
- 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
... ...
......