Description of problem:
The upstream Z3 project does not provide a __init__.py file. Thus, /usr/lib64/python2.7/site-packages/z3/ folder is not regcognized as a Python module. The Fedora maintainer then added an empty __init__.py file. However, this has the effect that you cannot use the textbook examples of Z3 Python bindings.

Version-Release number of selected component (if applicable):
4.4.1-2.fc23

How reproducible:
Always.

Steps to Reproduce:
1. # dnf install python-z3
2. Example from the documentation (https://github.com/Z3Prover/z3/blob/e518d4a5fe3b824d5e9deb3d16eb1faa248a52d8/README.md#python):
$ python -c 'import z3; print(z3.get_version_string())'

Actual results:
Traceback (most recent call last):
  File "<string>", line 1, in <module>
AttributeError: 'module' object has no attribute 'get_version_string'

Expected results:
4.4.1

Additional info:
Current workaround:
$ python -c 'import z3.z3; print(z3.z3.get_version_string())'
4.4.1

The solution would be to put
> from z3 import * 
into the __init__.py file.

This is already tracked upstream: https://github.com/Z3Prover/z3/pull/630