Make solver resumable.