Package org.sat4j.minisat.constraints

Implementations of various constraints for MiniSAT.

See:
          Description

Class Summary
AbstractCardinalityDataStructure  
AbstractDataStructureFactory  
CardinalityDataStructure  
CardinalityDataStructureYanMax  
CardinalityDataStructureYanMin  
ClausalDataStructureCB  
ClausalDataStructureCBWL  
ClausalDataStructureWL  
MixedDataStructureDanielCBWL  
MixedDataStructureDanielHT Uses specific data structure for cardinality constraints.
MixedDataStructureDanielWL  
 

Package org.sat4j.minisat.constraints Description

Implementations of various constraints for MiniSAT. One just needs to swap the DataStructureFactory in Solver to change the internal representation of the constraints.



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.