generate_solver_file