This edits the text to improve the uniformity across the various solver options, and emphasizes the "ignore if unknown" which was already documented in class SolverOptions but sometimes users don't see that note.
Towards #22078.
+@hongkai-dai for feature review, please. Low priority.
This edits the text to improve the uniformity across the various solver options, and emphasizes the "ignore if unknown" which was already documented in
class SolverOptions
but sometimes users don't see that note.Towards #22078.
+@hongkai-dai for feature review, please. Low priority.
This change is