Package org.sat4j.maxsat

MAXSAT and Weighted Max SAT framework.

See: Description

Class Summary

Class	Description
GenericOptLauncher	Generic launcher to be used for solving optimization problems.
MinCostDecorator	A decorator that computes minimal cost models.
SolverFactory
UnitWeightedClause
WeightedMaxSatDecorator	A decorator for solving weighted MAX SAT problems.

Package org.sat4j.maxsat Description

MAXSAT and Weighted Max SAT 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 Abstract Optimization Launcher.