Implement SimpleSolver