Hide Forgot
Description of problem: Can not import z3 module with default installation Version-Release number of selected component (if applicable): Fedora release 23 How reproducible: Steps to Reproduce: 1. install python-z3 and z3 2. open python shell, import z3, 3. Actual results: No module named z3 Expected results: successful import Additional info: I'm new to Fedora and I don't know if I find the right place to report. The installation dest of python-z3 is /usr/lib/python2.7/site-packages/z3. However, the z3 module does not have a __init__.py. AFAIS, it should be :a) copy all files into site-packages directory. b) have a __init__.py to make z3 directory a python module.
z3-4.4.1-2.fc23 has been submitted as an update to Fedora 23. https://bodhi.fedoraproject.org/updates/FEDORA-2016-54d73989f6
z3-4.4.1-2.fc23 has been pushed to the Fedora 23 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2016-54d73989f6
z3-4.4.1-2.fc23 has been pushed to the Fedora 23 stable repository. If problems still persist, please make note of it in this bug report.