Package org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

See:
          Description

Interface Summary
IConflict  
IDataStructurePB  
IInternalPBConstraintCreator  
PBConstr  
 

Class Summary
ArrayPb  
AtLeastPB  
ConflictArrayCard  
ConflictArrayClause  
ConflictMap  
MapPb  
MaxWatchPb  
MinWatchCardPB  
MinWatchPb  
MixableCBClausePB  
PBSolver  
PBSolverCard  
PBSolverClause  
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.