Added checkpointing to translations and solver.