Nogood management #380
Description
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.
{{ message }}
Since nogood use up most of the time, let us re-evaluate how we keep them in the solver.