From a1b036a4fa3d2687244c0fe72640bce6edfa316d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 25 Apr 2021 17:02:34 -0700 Subject: [PATCH] Update README.md --- examples/python/tutorial/jupyter/README.md | 2 ++ 1 file changed, 2 insertions(+) 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