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