Uses of Interface
org.sat4j.specs.IGroupSolver

Packages that use IGroupSolver

Package	Description
org.sat4j.reader	Some utility classes to read problems from plain text files.
org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

Uses of IGroupSolver in org.sat4j.reader

Constructors in org.sat4j.reader with parameters of type IGroupSolver

Constructor and Description
GroupedCNFReader(IGroupSolver solver)

Uses of IGroupSolver in org.sat4j.tools

Classes in org.sat4j.tools that implement IGroupSolver

Modifier and Type	Class and Description
class	GroupClauseSelectorSolver<T extends ISolver>

Uses of IGroupSolver in org.sat4j.tools.xplain

Classes in org.sat4j.tools.xplain that implement IGroupSolver

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.