MENU
z3

z3

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.