Commit b1d629e2 authored by kristenk's avatar kristenk

Document --minimize-conflict-set.

parent 3bb7f273
......@@ -2073,6 +2073,21 @@ Most users generally won't need these.
The command line variant of this field is
``--(no-)count-conflicts``.
.. cfg-field:: minimize-conflict-set: boolean
--minimize-conflict-set
--no-minimize-conflict-set
:synopsis: Try to improve the solver error message when there is no
solution.
:default: False
When there is no solution, try to improve the solver error message
by finding a minimal conflict set. This option may increase run
time significantly, so it is off by default.
The command line variant of this field is
``--(no-)minimize-conflict-set``.
.. cfg-field:: strong-flags: boolean
--strong-flags
--no-strong-flags
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment