Interface SolverConfig