|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
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. |
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.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||