cp_infeas_analysis
cp_infeas_analysis |
Purpose
This method computes a minimal conflict set for an inconsistent problem. A minimal conflict set is a minimal size set of constraints that causes a contradiction (infeasibility).
Synopsis
procedure cp_infeas_analysis
Example
The following example shows how to compute a minimal conflict set:
... ! definition of constraints
...
cp_save_state
if (not cp_propagate) then
cp_restore_state
writeln("Problem is infeasible")
cp_infeas_analysis
exit(0)
end-if
cp_restore_state
... ! problem solving
Related topics