diff --git a/examples/python/tutorial/jupyter/README.md b/examples/python/tutorial/jupyter/README.md index 9069e2576..6c9bcb390 100644 --- a/examples/python/tutorial/jupyter/README.md +++ b/examples/python/tutorial/jupyter/README.md @@ -1,5 +1,3 @@ # Jupyter version of the Z3 Python Tutorial. -Thanks to Peter Gragert, the Z3 tutorial guide is now available in the Jupyter notebook format. You can try it directly online from: - -https://z3examples-nbjorner.notebooks.azure.com/j/notebooks/guide.ipynb +Thanks to Peter Gragert, the Z3 tutorial guide is now available in the Jupyter notebook format.