Python Instal Z3

pip install z3-solver
Sasso