Package | Description |
---|---|
org.sat4j.minisat.constraints | |
org.sat4j.pb.constraints |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCardinalityDataStructure |
class |
CardinalityDataStructure |
class |
CardinalityDataStructureYanMax |
class |
CardinalityDataStructureYanMin |
class |
ClausalDataStructureWL |
class |
MixedDataStructureDanielHT
Uses specific data structure for cardinality constraints.
|
class |
MixedDataStructureDanielWL |
class |
MixedDataStructureSingleWL |