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

Packages that use Explainer

org.sat4j.pb.tools
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

Uses of Explainer in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement Explainer

class

XplainPB

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.