Public bug reported:
I installed python-z3 but was unable to use it. I cannot import `z3`
module in my python interpreter:
$ python2.7
Python 2.7.12 (default, Jul 1 2016, 15:12:24)
[GCC 5.4.0 20160609] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> from z3 import *
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: No module named z3
The .py and .pyc files are installed to /usr/lib/python2.7/dist-
packages/z3. I do note that there is no __init__.py to mark the
directory as a package. I don't think that would be right. The usual way
to install them seems to be to put z3*.py at top level.
ProblemType: Bug
DistroRelease: Ubuntu 16.04
Package: python-z3 4.4.0-5
ProcVersionSignature: Ubuntu 4.4.0-31.50-generic 4.4.13
Uname: Linux 4.4.0-31-generic x86_64
ApportVersion: 2.20.1-0ubuntu2.1
Architecture: amd64
CurrentDesktop: Unity
Date: Thu Aug 4 14:12:09 2016
EcryptfsInUse: Yes
InstallationDate: Installed on 2011-01-29 (2013 days ago)
InstallationMedia: Ubuntu 10.10 "Maverick Meerkat" - Release amd64 (20101007)
SourcePackage: z3
UpgradeStatus: Upgraded to xenial on 2016-06-11 (53 days ago)
** Affects: z3 (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug xenial
--
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
