Uses of Interface
org.sat4j.specs.IGroupSolver

Packages that use IGroupSolver

Package	Description
org.sat4j.reader
org.sat4j.tools
org.sat4j.tools.xplain

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.