void MarkProcessingAsDoneForNow()
int NumDeductions() const
void AddDeduction(int literal_ref, int var, Domain domain)
We call domain any subset of Int64 = [kint64min, kint64max].
std::vector< std::pair< int, Domain > > ProcessClause(absl::Span< const int > clause)