Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

org.sat4j.opt	Built-in optimization framework.
org.sat4j.tools	Tools to be used on top of an ISolver.

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.tools

Classes in org.sat4j.tools that implement IOptimizationProblem

class

LexicoDecorator<T extends ISolver>

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

OptToSatAdapter(IOptimizationProblem problem)