|
||||||||||
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 |