3 ms·
Does anybody know good resources for learning z3. I find the docs hard and material is pretty scarce on the topic.
by redrobein 5y ago
Does anybody know good resources for learning z3. I find the docs hard and material is pretty scarce on the topic.
- saurabh20n 5y agohttps://ericpony.github.io/z3py-tutorial/guide-examples.htm https://ericpony.github.io/z3py-tutorial/guide-examples.htm should be a quick start.
- philzook 5y agoI have some links up here, including a video and a google colab notebook https://www.philipzucker.com/z3-rise4fun/ https://www.philipzucker.com/z3-rise4fun/ http://colab.research.google.com/github/philzook58/z3_tutorial/blob/master http://colab.research.google.com/github/philzook58/z3_tutori...