Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

org.sat4j.opt

Built-in optimization framework.

Uses of IOptimizationProblem in org.sat4j.opt

Classes in org.sat4j.opt that implement IOptimizationProblem

class	MaxSatDecorator
class	MinCostDecorator A decorator that computes minimal cost models.
class	MinOneDecorator Computes a solution with the smallest number of satisfied literals.
class	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.
class	WeightedMaxSatDecorator