| Interface | Description |
|---|---|
| Explainer | |
| MinimizationStrategy |
Minimization technique used to reduce an unsatisfiable set of constraints
into a minimally unsatisfiable subformula (MUS).
|
| Class | Description |
|---|---|
| DeletionStrategy |
An implementation of the deletion based minimization.
|
| HighLevelXplain<T extends ISolver> |
Computation of MUS in a structured CNF, i.e.
|
| InsertionStrategy |
An implementation of the ReplayXplain algorithm as explained by Ulrich Junker
in the following paper:
|
| QuickXplain2001Strategy |
An implementation of the QuickXplain algorithm as explained by Ulrich Junker
in the following paper:
|
| QuickXplainStrategy |
An implementation of the QuickXplain algorithm as explained by Ulrich Junker
in the following paper:
|
| Xplain<T extends ISolver> |
Explanation framework for SAT4J.
|