| Package | Description |
|---|---|
| org.sat4j.pb.core |
Implementations of pseudo boolean solvers
|
| org.sat4j.pb.orders |
Various heuristics for the next variable to branch on.
|
| Modifier and Type | Method and Description |
|---|---|
void |
PBSolverCP.setBumper(IBumper bumperEffective) |
| Modifier and Type | Class and Description |
|---|---|
class |
Bumper |
class |
BumperEffective |
class |
BumperEffectiveAndPropagated |
class |
DoubleBumpClashingLiteralsDecorator |
| Constructor and Description |
|---|
DoubleBumpClashingLiteralsDecorator(IBumper decorated) |
Copyright © 2020 Centre de Recherche en Informatique de Lens (CRIL). All rights reserved.