ada/z3

mirror of https://github.com/AdaCore/z3.git synced 2026-02-12 12:40:40 -08:00

Files

History

Nikolaj Bjorner a1b036a4fa Update README.md

2021-04-25 17:02:34 -07:00

..

advanced.ipynb

Fix typos in examples.

2019-08-14 22:00:50 -07:00

guide.ipynb

update

2019-06-08 09:26:15 -07:00

README.md

Update README.md

2021-04-25 17:02:34 -07:00

strategies.ipynb

Fix typos in examples.

2019-08-14 22:00:50 -07:00

README.md

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