Represents a state where the solver has been configured but not yet executed.
Generates a human-readable summary of the current state or results.