Added documentation to the CheckpointableSolver interface.