| Package | Description |
|---|---|
| org.sat4j.pb.orders |
Various heuristics for the next variable to branch on.
|
| Class and Description |
|---|
| IOrderObjective |
| VarOrderHeapObjective |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.