Installed Z3