@kghector, looks like z3 has C components, which you cannot install on Pythonista due to Apple restrictions.
Welcome!
This is the community forum for my apps Pythonista and Editorial.
For individual support questions, you can also send an email. If you have a very short question or just want to say hello — I'm @olemoritz on Twitter.