build_solver