User Manual User Manual
When the constraints are inconsistent, the menu option Inconsistency becomes available. This option activates the inconsistency analysis form, which is divided in two parts. On the left side, it shows the list of all the constraints that are defining the inconsistent system, with a number identifying each of them. On the same side, the user may choose the maximum number of suggestions for fixing the inconsistency (by removing/relaxing some of the constraints) and initiate the computation using the Suggest button. On the right side, the results appear as a list of manners to resolve the inconsistency, by removing an increasing number of constraints. First, there will appear, if exist, proposals to remove one constrain only; then, proposals involving the removal of two constraints, and so on, until there are no more alternative manners to resolve the inconsistency or the maximum number of suggestions is reached. For instance, in the picture below the fifth proposal ("7+8+12") refers to the removal of three constraints identified by the numbers 7, 8 and 12 (although a relaxation, rather than deletion of the constraints, is often sufficient to restore the consistency).
