How to install python-z3 on Debian 9 (Stretch)