Package org.sat4j.maxsat

MAXSAT and Weighted Max SAT framework.

See:
          Description

Class Summary
GenericOptLauncher Generic launcher to be used for solving optimization problems.
MinCostDecorator A decorator that computes minimal cost models.
SolverFactory  
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.



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.