reasoning_modes

State and strategies for standard, brave, and cautious reasoning.

ReasoningModeHandler

Select a reasoning strategy and expose its model/nogood interface.

StandardReasoningStrategy

Bases: _ReasoningStrategy

Keep the solver's current model without accumulating or adding nogoods.