Z3- Solver Phon Ubuun

sudo apt-get install python-z3
Nice Name