mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity
z3/examples/python/tutorial/jupyter/README.md
Nikolaj Bjorner 3ff5d4226a
Update README.md
2021-04-25 16:59:53 -07:00

143 B
Raw Blame History

Jupyter version of the Z3 Python Tutorial.

Thanks to Peter Gragert, the Z3 tutorial guide is now available in the Jupyter notebook format.