Package de.rwth.swc.coffee4j.algorithmic.conflict.explanation
-
Interface Summary Interface Description ConflictExplainer -
Class Summary Class Description NoConflictExplainer QuickConflictExplainer Algorithm to find a minimal conflict for an over-constrained CSP