static bool Solve() { if (null != goal) { model.RemoveGoal(goal); } if (null == (object)goalTerm) { goalTerm = 0; } goal = model.AddGoal("goal", SfServ.GoalKind.Minimize, goalTerm); solution = Context.Solve(); if (TestGlobals.VerboseLevel >= 2) { SfServ.Report report = solution.GetReport(); System.Diagnostics.Debug.WriteLine(report.ToString()); } return(solution.Quality == SfServ.SolverQuality.Optimal); }