Since the documentation is frequently talking about the state of the solver (INPUT or SAT or UNSAT), it can be confused with the variable "state" of the callback function void learn(void * state, int * clause). Perhaps this variable should be renamed to something else, e.g., data.
Since the documentation is frequently talking about the state of the solver (INPUT or SAT or UNSAT), it can be confused with the variable "state" of the callback function
void learn(void * state, int * clause)
. Perhaps this variable should be renamed to something else, e.g.,data
.