Package org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

See:
Description

Interface Summary

IConflict
IDataStructurePB
IInternalPBConstraintCreator
PBConstr

Class Summary

ArrayPb
AtLeastPB
ConflictMap
MapPb
MaxWatchPb
MinWatchCardPB
MinWatchPb
PBSolver
PBSolverWithImpliedClause
PuebloMinWatchPb
WatchPb
WLClausePB

Package org.sat4j.minisat.constraints.pb Description

Implementations of pseudo boolean contraints. Caution: this is still an ongoing work. Use with care.