title: minisat how to find all the SAT solutions efficiently
body: <p>I found a way to finding all the solutions using the way described in this <a href="http://www.dwheeler.com/essays/minisat-user-guide.html" rel="nofollow">link</a>.</p>
  
  <p>This is working fine, but it is slow. As it recalculates the constraints from the start i_e doesn't take advantage of the previous computations.</p>
  
  <p>Now, I saw in this  <a href="http://www.msoos.org/minisat-faq/" rel="nofollow">link</a>, that there is a more efficient way to find all the solutions using MiniSat as library. But the way is not described there.</p>
  
  <p>Can you point me to right documentation for finding all the SAT solutions efficiently?</p>
  
  <p>Thanks.</p>