To install z3 just follow these instructions.
sudo apt-get install z3
Which will install z3 and any other packages on which it depends.
|Maintainer||Michael Tautschnig <email@example.com>|
|Description||theorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.|