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.
follow:
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
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.