Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.sat4j.minisat.constraints.pb

Implementations of pseudo boolean contraints.

See:
          Description

Interface Summary
IInternalPBConstraintCreator  
 

Class Summary
MaxWatchPb  
MinWatchPb  
PBSolver  
WatchPb  
 

Package org.sat4j.minisat.constraints.pb Description

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

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES