ILOG CPLEX 11.0 User's Manual

the IIS finder can, and often more. In fact, you might think of the conflict refiner as anextension and generalization of the IIS finder.Meet the Conflict Refiner in the Interactive OptimizerYou can get acquainted with the conflict refiner in the Interactive Optimizer. Certain featuresof the conflict refiner, namely, preferences and groups, are available only through anapplication of the Callable Library or Concert Technology. Those additional features areintroduced in Using the Conflict Refiner in an Application on page 403. This introduction ofthe conflict refiner through the Interactive Optimizer covers these topics:◆ A Model for the Conflict Refiner on page 394;◆ Optimizing the Example on page 395;◆ Interpreting the Results and Detecting Conflict on page 395;◆ Displaying a Conflict in the Interactive Optimizer on page 396;◆ Interpreting Conflict on page 397.A Model for the Conflict RefinerHere’s a simplified resource allocation problem to use as a model in the InteractiveOptimizer. Either you can create a file containing these lines and read the file into theInteractive Optimizer by means of this command:read filenameor you can use the enter command, followed by a name for the problem, followed by theselines:Minimizeobj: costSubject Toc1: - cost + 80 x1 + 60 x2 + 55 x3 + 30 x4 + 25 x5 + 80 x6 + 60 x7 + 35 x8+ 80 x9 + 55 x10 = 0c2: x1 + x2 + 0.8 x3 + 0.6 x4 + 0.4 x5 >= 2.1c3: x6 + 0.9 x7 + 0.5 x8 >= 1.2c4: x9 + 0.9 x10 >= 0.8c5: 0.2 x2 + x3 + 0.5 x4 + 0.5 x5 + 0.2 x7 + 0.5 x8 + x10 - service = 0c6: x1 + x6 + x9 >= 1c7: x1 + x2 + x3 + x6 + x7 + x9 >= 2c8: x2 + x3 + x4 + x5