Pavel Yaskevich 8b5396bbac [CSSolver] Attempt disabled disjunction choices only if they have a fix ...

This draws a distinction between disabled choices with and without
fixes - former is disabled because it's unrelated, latter because
it only makes sense to attempt it during "salvage" mode while trying
to produce diagnostics.

2019-03-14 13:18:42 -07:00

20 KiB

Raw Blame History

View Raw