Package | Description |
---|---|
org.sat4j.reader | |
org.sat4j.tools | |
org.sat4j.tools.xplain |
Constructor and Description |
---|
GroupedCNFReader(IGroupSolver solver) |
Modifier and Type | Class and Description |
---|---|
class |
GroupClauseSelectorSolver<T extends ISolver> |
Modifier and Type | Class and Description |
---|---|
class |
HighLevelXplain<T extends ISolver>
Computation of MUS in a structured CNF, i.e.
|