Since nogood use up most of the time, let us re-evaluate how we keep them in the solver. - [ ] Revisit the tiered system. - [ ] Consider one-watchers. - [ ] Consider the above also for the new version of nogoods.
Since nogood use up most of the time, let us re-evaluate how we keep them in the solver.