Installed Z3
finished installing stuff, just need to tidy up the guide
Forgot thelast couple of lines
Finished off the guide