Пример #1
0
 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);
 }