16 Forks
134 Stars
134 Watchers

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

How to download and setup z3_tutorial

Open terminal and run command
git clone https://github.com/philzook58/z3_tutorial.git
git clone is used to create a copy or clone of z3_tutorial repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with z3_tutorial https://github.com/philzook58/z3_tutorial/archive/master.zip

Or simply clone z3_tutorial with SSH
[email protected]:philzook58/z3_tutorial.git

If you have some problems with z3_tutorial

You may open issue on z3_tutorial support forum (system) here: https://github.com/philzook58/z3_tutorial/issues