batsat add_clause_ref does not return state to Input #531
Description
This means that solve returns a cached solution rather than one taking the new clause(s) into account.
{{ message }}
batsat