Package org.sat4j.pb.orders

Various heuristics for the next variable to branch on.

See: Description

Interface Summary

Interface	Description
IBumper
IOrderObjective

Class Summary

Class	Description
BumperEffective
BumperEffectiveAndPropagated
DoubleBumpClashingLiteralsDecorator
LevelBasedVarOrderHeapObjective
RandomWalkDecoratorObjective
VarOrderHeapObjective

Enum Summary

Enum	Description
Bumper
BumpStrategy

Package org.sat4j.pb.orders Description

Various heuristics for the next variable to branch on.