Renaming MainSolver to SATSolver