mirror of
https://github.com/AdaCore/z3.git
synced 2026-02-12 12:40:40 -08:00
6 lines
223 B
Markdown
6 lines
223 B
Markdown
# 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
|