I 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/ htt

I 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...