title: Can't call functions of imported module
body: <p>I'm trying to use the z3 module in python.
  I installed it using pip on windows.
  However when i try to execute this code</p>
  
  <pre><code>from z3 import *
  
  ...
  
  s = Solver()
  s.add(c1, c2, c3, c4, c5, c6, c7)
  s.model()
  </code></pre>
  
  <p>I get "NameError: name 'Solver' is not defined".</p>
  
  <p>What I find odd is that importing does not generate an error message, so it should have worked, yet when I try to call different functions they seem to not exist.</p>
  
  <p>Am I doing something completely wrong?</p>