Relaxing infeasible models

Uses the nurses example to demonstrate how the IDE detects conflicts and searches for relaxations in OPL models that appear infeasible after execution.

Presenting the nurse scheduling example
Summarizes the problem and explains what to do and where to find the files.
Setting up the nurses model and data
Describes the elements of the model.
Executing the nurses project (1)
Describes how to observe infeasibility, conflicts and proposed relaxations.
Working on the execution results
Describes how to study the conflict and suggested relaxation, and change the data to remove infeasibility.
Executing the nurses project (2)
Explains how to observe the new result after changing the data.
How relaxation and conflict search works
Relaxations and conflicts both express the infeasibility of a model and propose steps towards feasibility. After you have had hands-on experience with the nurse scheduling example, learn how to differentiate between Relaxations and Conflicts.

Parent topic: IDE Tutorials