diff --git a/examples/python/tutorial/jupyter/README.md b/examples/python/tutorial/jupyter/README.md index 6c9bcb390..2c4734e42 100644 --- a/examples/python/tutorial/jupyter/README.md +++ b/examples/python/tutorial/jupyter/README.md @@ -1,3 +1,5 @@ # Jupyter version of the Z3 Python Tutorial. Thanks to Peter Gragert, the Z3 tutorial guide is now available in the Jupyter notebook format. + +An online tutorial is available from https://github.com/philzook58/z3_tutorial