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