Package org.sat4j.minisat.constraints

Implementations of various constraints for MiniSAT.

See:
          Description

Class Summary
AbstractCardinalityDataStructure  
AbstractDataStructureFactory<L extends ILits>  
AbstractPBClauseCardConstrDataStructure  
AbstractPBDataStructureFactory  
CardinalityDataStructure  
CardinalityDataStructureYanMax  
CardinalityDataStructureYanMin  
ClausalDataStructureCB  
ClausalDataStructureCBWL  
ClausalDataStructureWL  
MixedDataStructureDaniel  
MixedDataStructureDanielCBWL  
MixedDataStructureWithBinary  
MixedDataStructureWithBinaryAndTernary  
PBMaxCBClauseCardConstrDataStructure  
PBMaxClauseAtLeastConstrDataStructure  
PBMaxClauseCardConstrDataStructure  
PBMaxDataStructure  
PBMinClauseCardConstrDataStructure  
PBMinDataStructure  
PuebloPBMinClauseAtLeastConstrDataStructure  
PuebloPBMinClauseCardConstrDataStructure  
PuebloPBMinDataStructure  
 

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 © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.