title: timeout for z3 solver in python
body: <p>I have problems setting a timeout for my solver:</p>
  
  <pre><code>s = Solver()
  encoding = parse_smt2_file("ex.smt2")
  s.add(encoding)
  
  s.set("timeout", 600)
  solution = s.check()
  </code></pre>
  
  <p>but I get the following error</p>
  
  <pre><code>Traceback (most recent call last): 
  File "/Users/X/Documents/encode.py", line 145, in parse_polyedra("file") 
  File "/Users/X/Documents/encode.py", line 108, in parse_polyedra s.set("timeout",1) File "/Users/X/z3/build/z3.py", line 5765, in set Z3_solver_set_params(self.ctx.ref(), self.solver, p.params) 
  File "/Users/X/z3/build/z3core.py", line 3969, in Z3_solver_set_params raise Z3Exception(lib().Z3_get_error_msg_ex(a0, err)) 
  Z3Exception: unknown parameter 'timeout'
  </code></pre>
  
  <p>A list of legal parameters appears, but <code>timeout</code> is not part of it. I took a look to <a href="https://stackoverflow.com/questions/14721765/">this post</a>, but the problem is not the same. As far as I understand, the parameter should be accepted, it is just that in the stable version the timeout may never happens, but there should not be problems to compile.</p>
  
  <p>Anyway I installed the unstable branch and the problem persist.</p>