solver_workflow