|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Explainer | |
|---|---|
| org.sat4j.tools.xplain | Implementation of an explanation engine in case of unsatisfiability. |
| Uses of Explainer in org.sat4j.tools.xplain |
|---|
| Classes in org.sat4j.tools.xplain that implement Explainer | |
|---|---|
class |
HighLevelXplain<T extends ISolver>
Computation of MUS in a structured CNF, i.e. the clauses belong to components, the explanation is to be extracted in terms of components. |
class |
Xplain<T extends ISolver>
Explanation framework for SAT4J. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||