SAT Blog

Comments

0 responses to “SAT Blog”

  1. Doug Wiedemann Avatar
    Doug Wiedemann

    Hi –

    For very long Cryptominisat runs I bump into the limit on restarts
    (2^32-1). Is there any way to set this limit to infinity?

    Thanks,
    Doug Wiedemann

    1. msoos Avatar
      msoos

      Oops, sorry, this is a bug that I think has finally been fixed. I will release 2.9.3 ASAP the fix of the bug has been confirmed. The new release will only fix this bug, and will not affect the solver’s behaviour in any other way. Again, sorry for this.