Solver_types.S