Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.pb
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of IOptimizationProblem in org.sat4j.maxsat

Classes in org.sat4j.maxsat that implement IOptimizationProblem

class	MinCostDecorator A decorator that computes minimal cost models.
class	WeightedMaxSatDecorator A decorator for solving weighted MAX SAT problems.

Uses of IOptimizationProblem in org.sat4j.opt

Classes in org.sat4j.opt that implement IOptimizationProblem

class	AbstractSelectorVariablesDecorator Abstract class which adds a new "selector" variable for each clause entered in the solver.
class	MaxSatDecorator Computes a solution that satisfies the maximum of clauses.
class	MinOneDecorator Computes a solution with the smallest number of satisfied literals.

Uses of IOptimizationProblem in org.sat4j.pb

Classes in org.sat4j.pb that implement IOptimizationProblem

class	PseudoIteratorDecorator A decorator that computes all pseudo boolean models.
class	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.

Constructors in org.sat4j.pb with parameters of type IOptimizationProblem

OptToPBSATAdapter(IOptimizationProblem problem)

Uses of IOptimizationProblem in org.sat4j.tools

Constructors in org.sat4j.tools with parameters of type IOptimizationProblem

OptToSatAdapter(IOptimizationProblem problem)