-
kristenk authored
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.
f62fcf7e