|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractSelectorVariablesDecorator | |
---|---|
org.sat4j.opt | Built-in optimization framework. |
Uses of AbstractSelectorVariablesDecorator in org.sat4j.opt |
---|
Subclasses of AbstractSelectorVariablesDecorator in org.sat4j.opt | |
---|---|
class |
MaxSatDecorator
Computes a solution that satisfies the maximum of clauses. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |