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