Class | Description |
---|---|
AbstractSelectorVariablesDecorator |
Abstract class which adds a new "selector" variable for each clause entered
in the solver.
|
MaxSatDecorator |
Computes a solution that satisfies the maximum of clauses.
|
MinOneDecorator |
Computes a solution with the smallest number of satisfied literals.
|