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