Uses of Class
org.sat4j.pb.PBSolverDecorator

Packages that use PBSolverDecorator
org.sat4j.pb   
 

Uses of PBSolverDecorator in org.sat4j.pb
 

Subclasses of PBSolverDecorator in org.sat4j.pb
 class OptToPBSATAdapter
          Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
 class PseudoOptDecorator
          A decorator that computes minimal pseudo boolean models.
 



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.