solver revisions