title: Z3 code in python
body: <p>i have installed both python and Z3 and have set PYTHONPATH with the path of Z3 python directory.</p>
  
  <p>I import Z3 by running this,
  from z3 import *</p>
  
  <p>But after this i am getting a persistent long error message of which ends in the following manner:</p>
  
  <pre><code>File "C:\Program Files\Microsoft Research\Z3-4.1\python\z3core.py", line 34, in init
      _lib = ctypes.CDLL(PATH)
    File "C:\Python27\lib\ctypes\__init__.py", line 365, in __init__
      self._handle = _dlopen(self._name, mode)
  WindowsError: [Error 126] The specified module could not be found
  </code></pre>
  
  <p>Interestingly everything was working till i reinstalled both python and Z3.</p>