Added __str__() to solver classes