Renamed main class in setsolver