Z3- Решатель Фон Убуну

sudo apt-get install python-z3
Nice Name