Package org.sat4j.minisat.constraints

Implementations of various constraints for MiniSAT.

See:
          Description

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

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