Copy the tea one-liner above into your terminal to install  z3. tea will interpret the documentation and take care of any dependencies.