solver_support
