Package org.sat4j.opt

Built-in optimization framework.

See: Description

Class Summary

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

Package org.sat4j.opt Description

Built-in optimization framework. That package contains various optimization decorators for solving optimization problems such as MAX-SAT, Weighted MAX-SAT, etc. Those decorators are supposed to be used with the AbstractOptimizationLauncher.