Main solver classes#