|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| MaxSatDecorator | |
| MinOneDecorator | Computes a solution with the smallest number of satisfied literals. |
| PseudoOptDecorator | |
| WeightedMaxSatDecorator | |
Optimization extensions.
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.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||