Package org.sat4j.opt

Built-in optimization framework.

See:
          Description

Class Summary
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 Abstract Optimization Launcher.



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