Package org.sat4j.minisat.constraints

Implementations of various constraints for MiniSAT.

See: Description

Class Summary

Class	Description
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.