|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| AbstractSelectorVariablesDecorator | |
| MaxSatDecorator | |
| MinCostDecorator | A decorator that computes minimal cost models. |
| MinOneDecorator | Computes a solution with the smallest number of satisfied literals. |
| ObjectiveFunction | Abstraction for an Objective Function for Pseudo Boolean Optimization. |
| PseudoOptDecorator | A decorator that computes minimal pseudo boolean models. |
| WeightedMaxSatDecorator | |
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.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||