|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| AbstractCardinalityDataStructure | |
| AbstractDataStructureFactory | |
| CardinalityDataStructure | |
| CardinalityDataStructureYanMax | |
| CardinalityDataStructureYanMin | |
| ClausalDataStructureCB | |
| ClausalDataStructureCBWL | |
| ClausalDataStructureWL | |
| MixedDataStructureDanielCBWL | |
| MixedDataStructureDanielHT | Uses specific data structure for cardinality constraints. |
| MixedDataStructureDanielWL | |
Implementations of various constraints for MiniSAT. One just needs to swap the DataStructureFactory in Solver to change the internal representation of the constraints.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||