Initializing help system before first use

# 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
cp_save_state cp_restore_state
Parent Topic Problem

© 2001-2026 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation (“FICO”). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.