|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| GenericOptLauncher | Generic launcher to be used for solving optimization problems. |
| MinCostDecorator | A decorator that computes minimal cost models. |
| SolverFactory | |
| UnitWeightedClause | |
| WeightedMaxSatDecorator | A decorator for solving weighted MAX SAT problems. |
MAXSAT and Weighted Max SAT 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 | |||||||||