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

Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem
org.sat4j.opt Optimization extensions. 
 

Uses of IOptimizationProblem in org.sat4j.opt
 

Classes in org.sat4j.opt that implement IOptimizationProblem
 class MaxSatDecorator
           
 class MinOneDecorator
          Computes a solution with the smallest number of satisfied literals.
 class PseudoOptDecorator
           
 class WeightedMaxSatDecorator
           
 

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