The current inspectable state (operators, flags, libraries, knowledge base) of the underlying solver.