Simplified Solver_core return type