Add methods to check the the solver's state