-
Anne Parrain authored
of conflict analysis, set immediately backtrack level to -1 - detect in ConflictMap if the conflict is not only a conflict but an unsatisfiable constraint
2abbc3e3
of conflict analysis, set immediately backtrack level to -1 - detect in ConflictMap if the conflict is not only a conflict but an unsatisfiable constraint