pre>
Do we try to minimize conflicts (greedily) when creating them.
</pre><p>Protobuf enum</p><div class="fragment"><div class="line">operations_research.sat.SatParameters.ConflictMinimizationAlgorithm </div>
</div><!-- fragment --> 
<p class="definition">Definition at line <a class="el" href="SatParameters_8java_source.html#l01274">1274</a> of file <a class="el" href="SatParameters_8java_source.html">SatParameters.java</a>.</p>
</div><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class