- changed status to resolved
[MINISATID] option for maximum number of learned clauses
Issue #19
resolved
Allows to prevent out of memory (but does not guarantee termination)
Comments (1)
-
- Log in to comment