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.