z3- solver phon ubunu
sudo apt-get install python-z3
Nice Name
sudo apt-get install python-z3