Uses of Interface
org.sat4j.tools.xplain.Explainer

Packages that use Explainer

Package	Description
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

Modifier and Type	Class and Description
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.