| Package | Description |
|---|---|
| org.sat4j.pb |
| Modifier and Type | Class and Description |
|---|---|
class |
ConstraintRelaxingPseudoOptDecorator |
class |
OptToPBSATAdapter
Utility class to use optimization solvers instead of simple SAT solvers in
code meant for SAT solvers.
|
class |
PseudoIteratorDecorator
A decorator that computes all pseudo boolean models.
|
class |
PseudoOptDecorator
A decorator that computes minimal pseudo boolean models.
|