Adding SolverStrategy skeleton classes