Solver: Add a flag to control minimizing the conflict set.
Minimizing the conflict set requires rerunning the solver multiple times, which can be time consuming. This commit adds a flag, --minimize-conflict-set, that defaults to false. We should probably add a way to limit the total run time before turning the feature on by default, such as applying the backjump limit to the combined solver runs.
Showing with 121 additions and 56 deletions