|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
this.outcome()
is UNSATISFIABLE or
TRIVIALLY_UNSATISFIABLE, translation logging was enabled during solving,
and a core extracting sat solver
(if any)
was used to determine unsatisfiability.
SATProvers
.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |