|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.tools.xplain | |
|---|---|
| org.sat4j.reader | Some utility classes to read problems from plain text files. |
| org.sat4j.tools.xplain | Implementation of an explanation engine in case of unsatisfiability. |
| Classes in org.sat4j.tools.xplain used by org.sat4j.reader | |
|---|---|
| HighLevelXplain
Computation of MUS in a structured CNF, i.e. the clauses belong to components, the explanation is to be extracted in terms of components. |
|
| Classes in org.sat4j.tools.xplain used by org.sat4j.tools.xplain | |
|---|---|
| Explainer
|
|
| MinimizationStrategy
Minimization technique used to reduce an unsatisfiable set of constraints into a minimally unsatisfiable subformula (MUS). |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||