Bug 1298429

Summary: There is no __init__.py in python binding of z3 solver
Product: [Fedora] Fedora Reporter: Haiyu Yang <iridiummx>
Component: z3Assignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 23CC: loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: All   
OS: Unspecified   
Whiteboard:
Fixed In Version: z3-4.4.1-2.fc23 Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2016-01-30 18:22:33 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:

Description Haiyu Yang 2016-01-14 05:06:54 UTC 
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.
Comment 1 Fedora Update System 2016-01-21 04:42:37 UTC 
z3-4.4.1-2.fc23 has been submitted as an update to Fedora 23. https://bodhi.fedoraproject.org/updates/FEDORA-2016-54d73989f6
Comment 2 Fedora Update System 2016-01-22 04:56:54 UTC 
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
Comment 3 Fedora Update System 2016-01-30 18:22:31 UTC 
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.