Uses of Class
org.sat4j.tools.GroupClauseSelectorSolver

Packages that use GroupClauseSelectorSolver

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

Uses of GroupClauseSelectorSolver in org.sat4j.tools.xplain

Subclasses of GroupClauseSelectorSolver in org.sat4j.tools.xplain

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.