Adding __init__.py fixes the problem but then I've to use `from z3.z3 import *` rather than `from z3 import *`. The proper fix would be, as noted by OP, install the z3*.py at top level.
Interestingly, in lp v4.4.0-2 of the package, the changelog (https://launchpad.net/ubuntu/+source/z3/4.4.0-2) mentions adding __init__.py but it isn't included in the amd64 .deb. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1609772 Title: python-z3 package doesn't work, can't import z3 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/z3/+bug/1609772/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
