Interface ConflictListener

    • Method Detail

      • onConflict

        void onConflict​(MapClause conflictclause,
                        int level)
        called when a conflict occurs
        Parameters:
        conflictclause - the conflict (unsatisfiable) clause
        level - the level at which the conflict occurred