solver auto now returns the result of the first solver that does not raise NOT_CONFIGURED (which may be UNKNOWN)
solver auto now returns the result of the first solver that does not raise NOT_CONFIGURED (which may be UNKNOWN)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle