Made Solver.result type abstract