From 6cd7169665900d53a4cecd02b759572856962e2b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 9 Jun 2019 11:10:35 -0700 Subject: [PATCH] readme and link Signed-off-by: Nikolaj Bjorner --- examples/python/tutorial/jupyter/README.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 examples/python/tutorial/jupyter/README.md diff --git a/examples/python/tutorial/jupyter/README.md b/examples/python/tutorial/jupyter/README.md new file mode 100644 index 000000000..9069e2576 --- /dev/null +++ b/examples/python/tutorial/jupyter/README.md @@ -0,0 +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. You can try it directly online from: + +https://z3examples-nbjorner.notebooks.azure.com/j/notebooks/guide.ipynb