title: Is there a wbo-like SAT-Solver for Python?
body: <p>Is there a Python-Module / Program, that solves a SAT Problem? Probably a weighted Boolean one. (To be specific, something like <a href="http://sat.inesc-id.pt/wbo/index.html" rel="nofollow">wbo</a>)</p>
  
  <p>Or if not are there maybe bindings, or an API to use one of those solvers. </p>
  
  <p>I don't think i could programm one myself in the time i have right now.</p>