Download and unzip the in-class-z3.zip archive.
Open the Z3 web interface (or this or this) in your browser. (Alternatively, download the latest Z3 release.)
Check out the Z3 Tutorial if you want more background. However, you should be able to do most of this exercise with targeted queries as opposed to reading the entirety of it.