From 3ff5d4226a9df18575b609d6b90423eb28350f6d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 25 Apr 2021 16:59:53 -0700 Subject: [PATCH] Update README.md --- examples/python/tutorial/jupyter/README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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.