def METHOD_NAME(self):
    prog = MathematicalProgram()
    x = prog.NewContinuousVariables(2)
    prog.AddBoundingBoxConstraint(1, np.inf, x)
    prog.AddLinearConstraint(x[0] + x[1] == 1)
    solver = GurobiSolver()
    ilp_file_name = temp_directory() + "/gurobi.ilp"
    options = SolverOptions()
    options.SetOption(solver.id(), "GRBwrite", ilp_file_name)
    options.SetOption(solver.id(), "GRBcomputeIIS", 1)
    result = solver.Solve(prog, None, options)
    self.assertTrue(os.path.exists(ilp_file_name))